wingo / pictie

Related projects: ⓘ

• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 3 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆81Updated last year
• rlt3 / tree-talk
  exploratory programming for an object system in common lisp
  ☆14Updated 9 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆15Updated 4 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆50Updated 8 years ago
• NVIDIA / remorac
  ☆39Updated 8 years ago
• suhr / conc
  ☆18Updated this week
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 2 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 8 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆15Updated 4 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• deech / shen-rust
  ☆34Updated 5 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 5 years ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆36Updated 7 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• deech / ATSPresentation
  ☆20Updated 9 years ago
• tov / alms
  The Alms Programming Language
  ☆43Updated 6 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆29Updated 4 months ago
• kstephens / maru
  Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/
  ☆39Updated 3 years ago
• jeapostrophe / adqc
  adqc - A version of C with verification and resource bounds
  ☆22Updated 2 years ago
• parapluu / encore
  The Encore compiler.
  ☆43Updated 4 years ago
• cruxlang / crux
  Crux Programming Language
  ☆51Updated 2 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 7 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 8 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• fare / moll
  My Own Linear Lisp
  ☆36Updated 6 years ago
• lexi-lambda / envy
  An environment variable manager for Racket applications
  ☆17Updated last year