dannypsnl

Lîm Tsú-thuàn's repositories

sauron

A DrRacket plugin to make it experience like an IDE

Language:RacketApache-2.048 4 156

write-a-programming-language

How to make a new language(and why we shouldn't?)

MIT39 5 11

plt-research

A collection of PLT researching

Language:RacketGPL-3.028 5 12

violet

A programming language, half theorem prover

Language:LeanBSD-3-Clause12 50

minic

Minimalist compiler course, based on Essential of Compilation

Language:OCaml10 20

xnix

system setting for all *nix-like system

Language:LuaMIT6 3 5

.github

GitHub workflow templates

BSD-3-Clause5 30

drracket-wakatime

Wakatime for DrRacket

Language:RacketNOASSERTION4 2 3

kld

A simple x86/elf32 linker

Language:C4 30

control-spec

unit test framework for idris2

Language:IdrisBSD-3-Clause3 4 3

dannypsnl

Whatever

Language:Racket2 30

jsoncard

Convert json from stdin (pipeline) to forester card

Language:OCaml2 20

algebraicgraph

Lean implementation of Algebraic Graphs with Class

Language:Lean1 20

arend-template

Language:MakefileApache-2.01 20

agda-unimath

The agda-unimath library

Language:AgdaMIT010

aya-template

Language:MakefileApache-2.0020

dannypsnl.github.io

Language:HTML020

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

Language:HaskellBSD-3-Clause000

elementary

Elementary functions in Lean

Language:Lean010

forest-server

A server for the forester tool

Language:RustMIT010

functional-programming

帶你探索 functional programming

Language:XSLTMIT010

hami2022

020

idris2-quickdocs

Language:HTMLBSD-3-Clause000

JupyterNotes

Language:Jupyter Notebook020

lisboot

How to boot compiled scripting language

Language:OCaml020

plfl

[WIP] Learn LEAN4 with PLFA proofs.

Language:LeanMIT000

rekur

Language:OCaml000

smalltt

Demo for high-performance type theory elaboration

Language:LeanMIT010

staged

Staged compilation with dependent types

Language:TeX010

typecafe2023

020