kstenerud / specifications
Specifications for better computing
☆10Updated 5 years ago
Alternatives and similar repositories for specifications:
Users that are interested in specifications are comparing it to the libraries listed below
- Manually curated metadata about Scheme implementations☆12Updated 4 months ago
- ☆16Updated last year
- A better make, inspired by djb's redo.☆51Updated 8 months ago
- A datalog implementation in pure Lua (LPEG parser).☆22Updated 2 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Updated 11 years ago
- A simple big integer library for janet☆21Updated 8 months ago
- A POS Templating Language☆44Updated 3 years ago
- Awki is a lightweight wiki written in awk. These are my patches, original here: http://awkiawki.bogosoft.com/☆25Updated last year
- Versions of the "Computer Language Benchmarks Game" benchmarks for the Janet language.☆13Updated 3 years ago
- Cheap and fast R7RS Scheme interpreter☆75Updated 2 months ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆89Updated 2 years ago
- ☆19Updated last year
- ☆19Updated 3 months ago
- This is a small mirror of s7 scheme, the official distribution is here:☆18Updated 4 years ago
- ACME-like text-buffer/editor by Felix Winkelmann☆33Updated 5 years ago
- Tiny Object Run Time☆22Updated 9 years ago
- tiny emacs☆26Updated 3 years ago
- A document generation tool for Janet projects☆20Updated 4 months ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- A simple incomplete Scheme-to-C compiler☆67Updated last week
- A programming language☆14Updated 10 years ago
- Persistent immutable data structures for Janet☆11Updated 3 years ago
- Hacks related to dissertation☆13Updated 5 years ago
- Try s7 scheme in your browser, powered by WebAssembly☆42Updated 4 years ago
- Small Prolog☆12Updated 8 years ago
- A compiler for a Scheme-like language. Currently, the goal is not full standards-compliance but rather to implement a compiler that is us…☆13Updated 2 months ago
- A library for representing HTML in Janet☆15Updated last year
- Janet routines for utf8 handling☆19Updated 3 years ago
- An interpreter for Bel, Paul Graham's Lisp language☆28Updated 6 months ago
- Partial implementation of the Janet bytecode VM in Javascript☆16Updated 3 years ago