renatoathaydes / prechelt-phone-number-encoding

Related projects ⓘ

Alternatives and complementary repositories for prechelt-phone-number-encoding

• snyball / spaik
  The SPAIK LISP Programming Language
  ☆41Updated 4 months ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆62Updated 4 years ago
• rolfwr / rwisa-vm
  VM implementations for the RW instructions set architecture
  ☆10Updated 5 years ago
• netb258 / clj-maze
  ☆21Updated 5 years ago
• qpdb / mentat
  A persistent, relational store inspired by Datomic and DataScript.
  ☆52Updated last year
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆69Updated last year
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆33Updated 5 years ago
• Purple-Services / common
  Library containing majority of logic + database calls + misc.
  ☆10Updated 5 years ago
• ytakano / blisp-repl
  ☆20Updated last year
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 5 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 7 years ago
• bfabry / specify-it
  Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check
  ☆9Updated 5 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• cgrand / parsnip
  parsley is dead, long live parsnip!
  ☆17Updated 10 years ago
• ckkashyap / nimxv6
  Infuse nim into xv6 till it replaces all the "C"
  ☆13Updated 8 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆83Updated 6 months ago
• emacsattic / ejacs
  ☆8Updated 6 years ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆48Updated last month
• LuxLang / tutorial1
  Simple TODO web-app using Vert.x as server
  ☆16Updated 7 years ago
• ryanorendorff / sbtb-2020-type-safe-fpga
  Using Depdentent and Affine Types for robust FPGA programming
  ☆10Updated 4 years ago
• deech / shen-rust
  ☆34Updated 5 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 3 weeks ago
• clojit / clojit-vm
  A Clojure Virtual Maschine written in Rust
  ☆20Updated 6 years ago
• deciduously / blispr
  Lisp-in-progress
  ☆41Updated last year
• begriffs / wc
  Beating haskell with C
  ☆11Updated 5 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆110Updated 5 years ago
• jdormit / sicp-logic
  A Clojure implementation of the logic programming language from chapter 4 of SICP
  ☆68Updated 5 years ago