Pinned Repositories
plt-research
A collection of PLT researching
redux
redux implementation in Go
rocket
Light-weight web framework for Go
sauron
A DrRacket plugin to make it experience like an IDE
write-a-programming-language
How to make a new language(and why we shouldn't?)
functional-programming
帶你探索 functional programming
racket-langserver
ocaml-forester
Mirror of ocaml-forester
forest-server
A server for the forester tool
WasmEdge
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.
dannypsnl's Repositories
dannypsnl/sauron
A DrRacket plugin to make it experience like an IDE
dannypsnl/write-a-programming-language
How to make a new language(and why we shouldn't?)
dannypsnl/plt-research
A collection of PLT researching
dannypsnl/violet
A programming language, half theorem prover
dannypsnl/minic
Minimalist compiler course, based on Essential of Compilation
dannypsnl/xnix
system setting for all *nix-like system
dannypsnl/.github
GitHub workflow templates
dannypsnl/drracket-wakatime
Wakatime for DrRacket
dannypsnl/kld
A simple x86/elf32 linker
dannypsnl/control-spec
unit test framework for idris2
dannypsnl/dannypsnl
Whatever
dannypsnl/jsoncard
Convert json from stdin (pipeline) to forester card
dannypsnl/algebraicgraph
Lean implementation of Algebraic Graphs with Class
dannypsnl/arend-template
dannypsnl/agda-unimath
The agda-unimath library
dannypsnl/aya-template
dannypsnl/dannypsnl.github.io
dannypsnl/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
dannypsnl/elementary
Elementary functions in Lean
dannypsnl/forest-server
A server for the forester tool
dannypsnl/functional-programming
帶你探索 functional programming
dannypsnl/hami2022
dannypsnl/idris2-quickdocs
dannypsnl/JupyterNotes
dannypsnl/lisboot
How to boot compiled scripting language
dannypsnl/plfl
[WIP] Learn LEAN4 with PLFA proofs.
dannypsnl/rekur
dannypsnl/smalltt
Demo for high-performance type theory elaboration
dannypsnl/staged
Staged compilation with dependent types
dannypsnl/typecafe2023