alf-tool / alf

Related projects ⓘ

Alternatives and complementary repositories for alf

• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆40Updated 2 years ago
• avsm / ocaml-annot
  OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)
  ☆37Updated 6 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated last month
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 5 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• canonware / onyx
  Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript
  ☆11Updated 3 years ago
• ocaml-multicore / multicore-talks
  Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"
  ☆29Updated last year
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆30Updated 12 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆34Updated this week
• racket / parser-tools
  ☆11Updated 3 weeks ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• berke / aurochs
  Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…
  ☆45Updated last year
• ocaml-community / biniou
  Extensible binary data format, like JSON but faster
  ☆42Updated 2 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆9Updated 9 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆25Updated this week
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆25Updated 3 weeks ago
• slfritchie / wide-world-of-actors
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆13Updated 6 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆58Updated 10 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• deech / shen-rust
  ☆34Updated 5 years ago