kstenerud / specificationsLinks
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
Sorting:
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Updated 11 years ago
- Interpreter for the Joy programming language, written in JavaScript☆14Updated 6 years ago
- Sorting out the basic facts behind our projects.☆10Updated 8 years ago
- APL interpreter and stream processor☆132Updated 4 years 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
- Small utilities and vocabularies implemented in the Factor programming language.☆129Updated last week
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆41Updated 4 years ago
- A simple Forth-like language intended for DSL creation, implemented in Lua.☆27Updated this week
- A Tcl distibution for WebAssembly or Javascript☆48Updated 8 years ago
- Solutions to various problems written in Factor☆19Updated 4 years ago
- yoda is an acronym of Yet Onather Delirious Application, implementing a Forth compiler which translates Forth source code to bash functio…☆42Updated last month
- A datalog implementation in pure Lua (LPEG parser).☆22Updated 2 years ago
- Kernighan's Awk a.k.a. "One True Awk"☆56Updated 9 years ago
- Versions of the "Computer Language Benchmarks Game" benchmarks for the Janet language.☆13Updated 3 years ago
- An experimental, small, readable Lisp with thorough unit tests and extensible functions/macros.☆145Updated 4 years ago
- Simple, general, human-sympathetic binary data format☆107Updated last year
- CSOM - C implementation of the Simple Object Machine Smalltalk☆37Updated 4 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- A simple incomplete Scheme-to-C compiler☆68Updated this week
- pacc: a compiler-compiler☆37Updated 9 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 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 6 months ago
- A PEG that compiles itself.☆76Updated 14 years ago
- A minimal stack based programming language☆33Updated last year
- DocLog builds documentation from source code in Prolog☆27Updated 7 months ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- Stackless Joy☆23Updated 3 months ago
- A programming language☆14Updated 10 years ago
- A better make, inspired by djb's redo.☆51Updated 11 months ago
- Variaous articles☆80Updated 2 years ago