mpw / pLucid-osx

Related projects ⓘ

Alternatives and complementary repositories for pLucid-osx

• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆42Updated 6 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 2 years ago
• deech / ATSPresentation
  ☆20Updated 9 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 2 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• dlaurie / lua-apl
  APL-like functions for use from Lua.
  ☆17Updated 9 years ago
• eugeneia / geneva
  Geneva: portable document preparation system
  ☆9Updated 8 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated last year
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 2 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 10 years ago
• andrewchambers / qc
  quick c
  ☆34Updated 2 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆80Updated 8 years ago
• fare / moll
  My Own Linear Lisp
  ☆37Updated 6 years ago
• aryx / syncweb
  literate programming meets unison
  ☆27Updated 6 months ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• wyc / snippets
  ☆52Updated 7 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated last month
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• avsm / EpiVM
  Epic - a Supercombinator Compiler
  ☆11Updated 14 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated 6 months ago
• brick-lang / kekka
  An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
  ☆14Updated 3 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆17Updated 4 years ago