renatoathaydes / prechelt-phone-number-encoding
Comparison between Java and Common Lisp solutions to a phone-encoding problem described by Prechelt
☆30Updated last year
Alternatives and similar repositories for prechelt-phone-number-encoding:
Users that are interested in prechelt-phone-number-encoding are comparing it to the libraries listed below
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 5 years ago
- Persistence of concurrent activities for Gerbil Scheme☆50Updated 6 months ago
- storage combinators☆18Updated 5 years ago
- The SPAIK LISP Programming Language☆42Updated last week
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 5 months ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Variaous articles☆80Updated 2 years ago
- Source for my blog☆26Updated 2 years ago
- Infuse nim into xv6 till it replaces all the "C"☆13Updated 9 years ago
- ☆21Updated 5 years ago
- Graphical programming editor☆33Updated 8 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 2 years ago
- A persistent, relational store inspired by Datomic and DataScript.☆54Updated 2 years ago
- A terse Prolog course☆42Updated 6 years ago
- concatenative array language inspired by kdb/+q☆91Updated 3 years ago
- Plot Cookbook☆50Updated 2 years ago
- Lisp-in-progress☆42Updated last year
- macro spaghetti code☆28Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- ☆20Updated 2 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- ☆48Updated 5 months ago
- Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check☆10Updated 5 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- A Clojure implementation of the logic programming language from chapter 4 of SICP☆68Updated 5 years ago
- a Racket language inspired by ARc, by Kogir☆29Updated 11 years ago
- a minimal versioned log structured relational DB in Common Lisp☆79Updated 3 years ago