-
cn Public
Forked from rems-project/cnCN separation logic refinement type system for C
OCaml Other UpdatedSep 24, 2026 -
pbt-bibliography Public
Forked from ngernest/pbt-bibliographyA collaborative bibliography of papers related to property-based testing
UpdatedJul 25, 2026 -
cerberus Public
Forked from rems-project/cerberusCerberus C semantics
OCaml Other UpdatedMay 6, 2026 -
-
-
VST Public
Forked from PrincetonUniversity/VSTVerified Software Toolchain
Coq Other UpdatedFeb 22, 2024 -
-
-
Self_Explaining_Structures_Improve_NLP_Models Public
Forked from ShannonAI/Self_Explaining_Structures_Improve_NLP_ModelsPython Apache License 2.0 UpdatedMay 18, 2023 -
nile Public
Forked from SawanKumar28/nileNILE : Natural Language Inference with Faithful Natural Language Explanations
Python Apache License 2.0 UpdatedOct 6, 2021 -
-
wappa Public
Compiler for a toy programming language
-
user-docs Public
Forked from alpacahq/user-docsDocumentation for the Alpaca platform.
HTML UpdatedDec 30, 2020 -
alpaca-trade-api-go Public
Forked from alpacahq/alpaca-trade-api-goGo client for Alpaca's trade API
Go Apache License 2.0 UpdatedSep 2, 2020 -
-
pincelate Public
Forked from aparrish/pincelateEasy to use ML model for spelling and sounding out words
Jupyter Notebook MIT License UpdatedJul 27, 2020 -
-
pimovedetect Public archive
CS362 Project, Tracking code for Nerf Turret
Python UpdatedApr 29, 2020 -
-
-
-
-
zscript-doc Public
Forked from zdoom-docs/stableZScript documentation
Ruby Creative Commons Zero v1.0 Universal UpdatedOct 23, 2019 -
EvoBoids Public archive
Evolving Boids
JavaScript BSD 3-Clause "New" or "Revised" License UpdatedSep 30, 2019 -
gzdoom Public
Forked from ZDoom/gzdoomGZDoom adds an OpenGL renderer to the ZDoom source port.
C++ GNU General Public License v3.0 UpdatedAug 6, 2019 -
clematis Public
ZScript unit test framework for GZDoom | Used in https://github.com/ZippeyKeys12/rogzis
-
avail Public
ZScript Utility Library | Used in https://github.com/ZippeyKeys12/rogzis
-
-
-
enki Public
ZScript AI Library | Used in https://github.com/ZippeyKeys12/rogzis
{{ message }}