jbclements / molis-hai

Related projects ⓘ

Alternatives and complementary repositories for molis-hai

• WebDrake / GrSL
  GrSL - the GSL-based random Sampling Library
  ☆13Updated 13 years ago
• kogir / rark
  a Racket language inspired by ARc, by Kogir
  ☆29Updated 11 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• r0nk / corvus
  Genetic BF programming
  ☆61Updated 9 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 9 years ago
• jmoy / costlyState
  Classroom demonstration of costly state verification in finance
  ☆16Updated 9 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• BookOwl / scratching-forth
  A compiler from Forth to Scratch
  ☆21Updated 8 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 9 years ago
• rlt3 / Dialogue
  An Actor-based framework for Lua
  ☆38Updated 8 years ago
• fjolliton / ConfigurationTree
  Configuration Tree for Python
  ☆14Updated 11 months ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• mattmight / uiki
  A bare-bones academic wiki with LaTeX and (multi)markdown support
  ☆70Updated 9 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 7 years ago
• fightforthefuture / readthetpp
  Read the TPP!
  ☆28Updated last year
• bjornedstrom / timmy
  Use some TLS servers for trusted timestamping
  ☆41Updated 9 years ago
• wkoszek / flviz
  FLVIz - Finite Automata Simulator written in QT/Graphviz
  ☆36Updated 9 years ago
• kragen / laserboot
  laser-cutting experiments for bootstrapping planar fabrication
  ☆25Updated 8 years ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 9 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆67Updated 14 years ago
• hugomg / hexiom
  SAT-based solver for the Hexiom logic puzzle
  ☆33Updated 12 years ago
• MagnusS / jitsu
  A DNS server that automatically starts unikernels on demand
  ☆22Updated 9 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• jfo / sild
  Sild is a lisp dialect
  ☆44Updated 6 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆99Updated 8 years ago