Similar repositories to kotatsugame/proof_assistant:
kotatsugame/proof_assistant
github
similar
qnighy/lltoy
github
similar
colun/mmlang
github
similar
sabo2/pzprv3
github
similar
qnighy/ipc_solver
github
similar
BowenFu/mathiu.cpp
github
similar
vprover/vampire
github
similar
redorav/hlslpp
github
similar
Andromedans/andromeda
github
similar
kyuridenamida/atcoder-tools
github
similar
keiichiw/constexpr-8cc
github
similar
azu/awesome-commit-english
github
similar
symengine/symengine
github
similar
weseek/growi
github
similar
seanbaxter/circle
github
similar
moderngpu/moderngpu
github
similar
jupyter-xeus/xeus-cling
github
similar
dotnet/fsharp
github
similar
RandyGaul/cute_headers
github
similar
oneapi-src/oneTBB
github
similar
coq/coq
github
similar
mlpack/mlpack
github
similar
mosra/magnum
github
similar
o3de/o3de
github
similar
cinder/Cinder
github
similar
Z3Prover/z3
github
similar
taskflow/taskflow
github
similar
nothings/single_file_libs
github
similar
openframeworks/openFrameworks
github
similar
rigtorp/awesome-modern-cpp
github
similar
catchorg/Catch2
github
similar
microsoft/vcpkg
github
similar
nothings/stb
github
similar
xi-editor/xi-editor
github
similar
nlohmann/json
github
similar
rust-lang/rust
github
similar
keras-team/keras
github
similar
puppeteer/puppeteer
github
similar
EbookFoundation/free-programming-books
github
similar