Lîm Tsú-thuàn

sauron. A DrRacket plugin to make it experience like an IDE

48

redux. redux implementation in Go

45

write-a-programming-language. How to make a new language(and why we shouldn't?)

40

plt-research. A collection of PLT researching

28

rocket. Light-weight web framework for Go

26

elz. A polymorphism object-oriented programming language

24

racket-llvm. racket llvm C-API bindings

17

violet-legacy. A programming language, half theorem prover

12

typed-nanopass. rebuild nanopass with typed supports

11

minic. Minimalist compiler course, based on Essential of Compilation

11

typed-racket-eff. typed/racket + effect system

11

k. k theorem prover

11

racket-tree-sitter. racket binding to tree-sitter

10

html2tree. converts HTML to valid forester tree syntax

9

little-scheme. A little scheme for playing SICP

8

tr. A site generator based on a collection of racket/scribble programs.

8

agda-tree. literate programming agda in forester

7

ecto_timescaledb. Provide extension to write TimescaleDB extended SQL.

7

cover-badge. A badge generator for coverage

7

avr-arduino-zig. Arduino using Zig!

6

eikyo. polymorphsim language with mark system

6

xnix. system setting for all *nix-like system

6

.github. GitHub workflow templates

6

scheme-to-arm64. A scheme to Arm64 compiler

6

still-compiling. Moved to https://codeberg.org/dannypsnl/still-compiling

5

kubenet. Tiny Kubernetes to show how its network work

4

control-spec. unit test framework for idris2

4

extend. An extension provider of llir/llvm

4

kld. A simple x86/elf32 linker

4

on. A command line tool helps you execute commands base on a command context to avoid duplicate typing.

4

reporter. A util toolbox for compiler error reporting

4

webmentions_db. fetch and cache https://webmention.io, produces forester tree via mentions

4

drracket-wakatime. Wakatime for DrRacket

4

inductive. Inductive construction

3

formatted-string. Extends racket string to formatted string

3

counter. A gen_server counter

3

controllable-refinement. A refinement system with controllable predicate

3

raytracer. racket raytracer

3

arend-template. Makefile

2

jsoncard. Convert json from stdin (pipeline) to forester card

2

sidemath. Math formula WYSIWYG editor beside

2

wiggle-example. Jupyter Notebook

2

algorithm. Dafny

2

register-vm. Zig

2

amcr. abstract machine for classical realizability

1

zig-on-mukava. Zig

1

arend.

1