Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by montao
A curated list of projects in awesome lists by montao .
https://github.com/montao/nios2-linux
The uClinux 2.6 adapted for nios2 with Altera DE2-115
Last synced: 19 Dec 2024
https://github.com/montao/ddc4cc
The PoC for diverse-double compiling to harden cryptocurrency software
Last synced: 19 Nov 2024
https://github.com/montao/nios2-mmu
Design MMU for socfpga-linux 4.11. Test with Altera DE2-115.
altera hardware-designs mmu nios2 quartus-prime
Last synced: 19 Dec 2024
https://github.com/montao/valgrind-clion.sh
The CLion glue for Valgrind to report memory leaks and traces from mistakes like segfaults
Last synced: 19 Dec 2024
https://github.com/montao/spooks
The Spook program as a crate and spookable via HTTP
Last synced: 19 Dec 2024
https://github.com/montao/formal-verification
🌍 The SMV models
formal-verification hardware-peripherals model-checking smv-models
Last synced: 19 Dec 2024
https://github.com/montao/faas-cicd
A cloud function deployed with cloudbuild
cloudbuild continuous-delivery faas gcf gcloud golang
Last synced: 19 Dec 2024
https://github.com/montao/go-many-plugins
The Go code in some temporary file defining a function taken from command-line arguments, compiles that code into a plugin, loads that plugin, gets the function in it, and invokes that with parameters, then prints the results.
golang linux metaprogramming plugin
Last synced: 19 Dec 2024
https://github.com/montao/bismon-docker
Dockerfile for bismon https://github.com/bstarynk/bismon
Last synced: 19 Dec 2024
https://github.com/montao/calc
A calculator done with GNU flex and bison
bison bison-grammar c flex yacc
Last synced: 19 Dec 2024
https://github.com/montao/matrix.java
A simple and correct matrix implementation in Java
java mathematics matrix utility
Last synced: 19 Dec 2024
https://github.com/montao/bst.c
⚡️ C implementation of binary search tree. Simple and fast lookups i.e. efficient.
Last synced: 19 Dec 2024
https://github.com/montao/opencpu
:octocat: The open 4-bit system for Altera DE2 drawn and compiled with Quartus
altera cpu hardware quartus-prime
Last synced: 19 Dec 2024
https://github.com/montao/lpcover.py
Find a vertex cover using linear constraint programming
Last synced: 19 Dec 2024