jarcane / MicroMini

Related projects: ⓘ

• alex-hhh / AL2-IRisk-Dashboard
  IRisk Dashboard for ActivityLog2 -- this has been added to ActivityLog2
  ☆11Updated 5 years ago
• slfritchie / wide-world-of-actors
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆13Updated 6 years ago
• midas-framework / erlang_library_runtime
  A lightweight erlang runtime
  ☆21Updated 3 years ago
• merle-lang / luml
  Luml is a type-inferred ML-style language that cross-compiles to Lua
  ☆15Updated 5 years ago
• racket / parser-tools
  ☆10Updated last month
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• sile / beam_file
  A tiny library for processing Erlang BEAM file in Rust
  ☆21Updated last year
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 4 years ago
• pyros2097 / pony-app
  ☆10Updated this week
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 9 years ago
• QuinnWilton / gleam_logic
  Logic programming with µKanren
  ☆11Updated 3 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• jsdf / lisp.rs
  Scheme Interpreter in Rust
  ☆25Updated 6 years ago
• sborrazas / shen-erl
  Erlang port of the Shen programming language
  ☆25Updated 4 years ago
• mfp / obigstore
  obigstore: database with BigTable-like data model atop LevelDB
  ☆43Updated 6 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 4 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆21Updated 4 years ago
• deech / shen-rust
  ☆34Updated 5 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• xieyuheng / cicada-rs
  old cicada attempt in rs
  ☆3Updated 9 months ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆34Updated 3 weeks ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆12Updated 7 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆25Updated 3 months ago
• xnning / Dissertation
  My PhD Thesis
  ☆14Updated 2 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆23Updated last year
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆11Updated 6 years ago
• owlbarn / owl_guide
  ☆15Updated this week
• stchang / redis
  A redis client for Racket.
  ☆17Updated 9 years ago