dannypsnl
Follow
-
-
racket-llvm Public
racket llvm C-API bindings
-
-
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedNov 23, 2024 -
-
-
staged Public
Forked from AndrasKovacs/stagedStaged compilation with dependent types
TeX UpdatedNov 3, 2024 -
cs208-logic Public
Forked from msp-strath/cs208-logicCode and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)
OCaml UpdatedOct 29, 2024 -
component-model Public
Forked from WebAssembly/component-modelRepository for design and specification of the Component Model
Python Other UpdatedOct 21, 2024 -
agda-tree Public
literate programming agda in forester
-
-
-
elaboration-zoo Public
Forked from AndrasKovacs/elaboration-zooMinimal implementations for dependent type checking and elaboration
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 24, 2024 -
sauron Public
A DrRacket plugin to make it experience like an IDE
-
-
-
sitaram-operator Public
Tries out the limitation of Sitaram's operators.
Racket UpdatedAug 27, 2024 -
-
webmentions_db Public
fetch and cache https://webmention.io, produces forester tree via mentions
-
minic Public
Minimalist compiler course, based on Essential of Compilation
-
-
plfl Public
Forked from rami3l/plfl[WIP] Learn LEAN4 with PLFA proofs.
Lean MIT License UpdatedJun 25, 2024 -
-
-
smalltt Public
Forked from AndrasKovacs/smallttDemo for high-performance type theory elaboration
Lean MIT License UpdatedMar 24, 2024 -
-
xnix Public
system setting for all *nix-like system
-
violet-legacy Public
A programming language, half theorem prover
-