-
-
chamelean Public
Forked from ngernest/chameleanProperty-based testing for Lean via metaprogramming
Lean Apache License 2.0 UpdatedOct 8, 2025 -
aesop Public
Forked from leanprover-community/aesopWhite-box automation for Lean 4
Lean Apache License 2.0 UpdatedSep 15, 2025 -
stlc-lean Public
Formalization of normalization of the Simply Typed Lambda Calculus in Lean
-
cerberus Public
Forked from rems-project/cerberusCerberus C semantics
OCaml Other UpdatedSep 12, 2024 -
flow-for-vscode Public
Forked from flow/flow-for-vscodeFlow for Visual Studio Code
JavaScript Other UpdatedApr 28, 2021 -
babel Public
Forked from babel/babel🐠 Babel is a compiler for writing next generation JavaScript.
JavaScript MIT License UpdatedApr 16, 2021 -
KAT Public
Implementation of an equality checker for two expressions in Kleene Algebra (Final Project for CS 6861)
OCaml UpdatedMay 21, 2018 -
maxflow Public
An implementation of Ford-Fulkerson/Edmonds-Karp in OCaml
-
oauth2orize Public
Forked from jaredhanson/oauth2orizeOAuth 2.0 authorization server toolkit for Node.js.
JavaScript MIT License UpdatedApr 26, 2013
{{ message }}