jeffkaufman / nomic
Automated nomic
☆18Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for nomic
- The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, comp…☆30Updated 3 years ago
- Houyhnhnm Computing☆22Updated 6 months ago
- what is the soul of man when soul and body seperates body dies soul lives fear not man which can only destroy the body, but fear him whic…☆22Updated 11 years ago
- Pijul <-> Git proxy☆19Updated 5 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- a password manager for hermits☆30Updated 6 years ago
- An Algebraic, Executable Ur Machine☆36Updated 5 years ago
- Brainfuck with Actors☆36Updated 5 years ago
- ☆34Updated 5 years ago
- A λ-calculus shell (because I love writing shells).☆11Updated 4 years ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- The next-generation Olin runtime, made with love☆65Updated 2 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Notes on P-omega☆14Updated 7 years ago
- Racket's module resolver for non-Racket assets☆20Updated last year
- ReasonML code to construct an NFA from a regular expression☆23Updated 5 years ago
- My personal blog☆14Updated last year
- ☆16Updated 6 years ago
- A sub-second static blogging framework☆28Updated 2 years ago
- Ambient Calculus reduction engine☆8Updated last year
- ☆34Updated last year
- experimental computational medium and supporting tools☆22Updated this week
- Aheui interpreter in Javascript☆23Updated 8 years ago
- A Rust implementation of the Lean kernel☆11Updated last year
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- sorear's Metamath system engine☆13Updated 8 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago