Repos
78
Stars
17
Forks
0
Top Language
Racket
Loading contributions...
Top Repositories
Repositories
78Ambiguous Operator
Goto based on call/cc
miniKanren based on amb
No description provided.
No description provided.
Official chibi-scheme repository
一个 emacs 中文输入法，支持全拼，双拼，五笔，仓颉和Rime，pyim 是 GNU elpa 包。
Spacemacs configuration files
Guix configurations
Tagged Values
Dual of struct
A library for structured data in bytes
Category Theory in Programming
No description provided.
Treat a byte vector as a bit matrix with a width of 8
The Racket repository
Typed Record
No description provided.
Typed Box
Mutable tresslists for typed racket
Queues for typed racket
Typed Racket Module for Revised Scheme
Scheme versions of Racket-inspired libraries
No description provided.
pkgs for my racket
Typed miniKanren
Typed Racket
A category theory toolkit for Racket.
No description provided.
Dynamic Case