uchicago-cs / chirc
A simple IRC server
☆21Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for chirc
- An R5RS Scheme in JavaScript.☆16Updated last year
- Submission site for Zcash Foundation grant proposals☆25Updated 6 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 6 years ago
- An Algebraic, Executable Ur Machine☆36Updated 5 years ago
- Urbit examples☆84Updated 3 years ago
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆58Updated 3 years ago
- Compile-time multitasking support for the Scheme programming language☆37Updated 9 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 5 years ago
- A minimalist type-inferred programming language with procedural macro support☆135Updated 4 years ago
- A Hoon tutorial / adventure☆32Updated 8 years ago
- A functional systems programming language with compile-time memory management☆30Updated 3 years ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆48Updated 4 years ago
- APL compiler written in Standard ML☆35Updated 3 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- E language implementation targeting Common Lisp☆14Updated 12 years ago
- zero-knowledge chat suite☆101Updated 2 years ago
- ☆21Updated 7 years ago
- An authenticated data structure based on a red-black tree.☆54Updated 9 years ago
- All code examples from "The Little Prover" book☆23Updated 8 years ago
- PVTS is a visual interpreter for the Scheme programming language writen in Java.☆28Updated 10 years ago
- Dr. Y's Ethereum Contract Analyzer☆42Updated 2 years ago
- My reading list☆80Updated 2 years ago
- ☆59Updated 2 years ago
- Noether programming language☆126Updated 7 years ago
- ~talkbot, the one and only.☆12Updated 6 years ago
- Schrödinger's Tcl☆30Updated 9 years ago