uakci / jvozba

Related projects ⓘ

Alternatives and complementary repositories for jvozba

• jsdf / lisp.rs
  Scheme Interpreter in Rust
  ☆26Updated 6 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• deech / shen-rust
  ☆34Updated 5 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 4 years ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆19Updated 6 years ago
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆15Updated 4 years ago
• advancedresearch / lojban
  A Lojban parser in Piston-Meta
  ☆22Updated 3 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 4 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆13Updated 4 years ago
• ckkashyap / nimxv6
  Infuse nim into xv6 till it replaces all the "C"
  ☆13Updated 8 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• playXE / garbage-collector
  Garbage collector implementation in Rust for Rust
  ☆13Updated 4 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 4 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• racket / parser-tools
  ☆11Updated last week
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆26Updated 4 years ago
• 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
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆19Updated 2 years ago
• hellerve / carp-vim
  A Vim plugin for Carp
  ☆17Updated 3 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 5 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆18Updated 4 months ago
• DemiMarie / rusty_scheme
  Very incomplete Scheme interpreter, written in Rust
  ☆23Updated 8 years ago
• alilleybrinker / ruse
  A Scheme embedded in Rust, like Lua in C.
  ☆62Updated 6 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 3 years ago