ishnaxd's repositories
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
c-ninja-listings
Lower level assembly and C baremetal programming on RISC-V CPUs. Source code listings from the C-Ninja, in Pyjama! book.
cyancore
A unified software platform for embedded system projects ...
ishnaxd
Config files for my GitHub profile.
ibex
Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.
ibex_docker
This is a docker image of the IBEX RISC-V core.
Learning-RISC-V
Docs + Code for RISC-V from https://www.youtube.com/playlist?list=PLFt5JBAXXlQow0PLTdqvaiIUMRa71VQHl
nanopb
Protocol Buffers with small code size
nnom
A higher-level Neural Network library for microcontrollers.
numericalmethods_matlab
here are all the numerical methods codes with description
pyvsc
Python packages providing a library for Verification Stimulus and Coverage
webserver_python_client
wireless bidirectional communication with esp8266 through python
x1_wallet_firmware
Cypherock X1 Wallet firmware