Lists (31)
AI / Machine Learning
12 repositories
algorithms and data structures
12 repositories
Android
1 repository
applications
30 repositories
CAD and geometry
12 repositories
compilers, linkers, assemblers
24 repositories
Computer Graphics
17 repositories
courses
1 repository
cryptography
1 repository
databases
Technology related to databases3 repositories
distributed / crdt
1 repository
editors
1 repository
Electronics
6 repositories
Embedded, MCUs and RTOS
19 repositories
FPGAs and HDLs
34 repositories
HPC
6 repositories
kakoune
1 repository
learning
courses, lists and learning material12 repositories
libraries and frameworks
44 repositories
logic, tt, verification
Logic, Type Theory, Verification, Automated Theorem Proving8 repositories
music
4 repositories
Operating Systems
kernels, SO and so on19 repositories
programming languages
27 repositories
reverse engineering
3 repositories
security
1 repository
sgx
1 repository
Simulation and Modeling
41 repositories
typesetting
3 repositories
UI
7 repositories
UNIX
linux/BSDs etc2 repositories
unix/linux
3 repositories
Stars
4
stars
written in Java
Clear filter
Digital logic design tool and simulator
iBioSim is a computer-aided design (CAD) tool aimed for the modeling, analysis, and design of genetic circuits. It is capable of importing and exporting models specified using the Systems Biology M…
Protocol independent software which forwards messages between various chat services.