Lists (32)
apps
1 repository
audio
2 repositories
autodiff
39 repositories
bioinformatics
171 repositories
C, C++
27 repositories
cli, tui
55 repositories
Close to the bits
53 repositories
compilers, mlir
7 repositories
Diffusion models
7 repositories
DL, ML, and AI
290 repositories
fin
28 repositories
Fun
11 repositories
geo, agri
22 repositories
huggingface
1 repository
jax
30 repositories
js, ts
1 repository
julia dev
595 repositories
julia DL, ML, and AI
34 repositories
julia notebooks
1 repository
linux, dbg, containers
84 repositories
mojo
22 repositories
molsim, moldesign
49 repositories
nim
7 repositories
py dev
83 repositories
pytorch
32 repositories
rust dev
85 repositories
sat,smt solver
3 repositories
tensors
14 repositories
theorem proving, symbolic comp
25 repositories
viz
39 repositories
wasm
13 repositories
wine, windows
15 repositories
Starred repositories
3
stars
written in Kotlin
Clear filter
Open-source Android/Desktop remake of Civ V
Multiplatform plotting library based on the Grammar of Graphics
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)