NVIDIA / remoracLinks
☆40Updated 9 years ago
Alternatives and similar repositories for remorac
Users that are interested in remorac are comparing it to the libraries listed below
Sorting:
- MLton for scalable multicore architectures☆59Updated 11 years ago
- [toy] A rewriting language similar to the core of Mathematica☆53Updated 3 years ago
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆119Updated 5 years ago
- The MLtonLibrary repository☆35Updated 2 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Updated 7 years ago
- Compiler and tools for the L programming language☆72Updated last year
- (Nominal) Adapton in OCaml☆57Updated 9 years ago
- OCaml implementation of the K 2.0 array programming language☆81Updated 9 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated 4 months ago
- ☆29Updated 10 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- FunTAL: mixing a functional language with assembly.☆41Updated 8 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆45Updated 6 years ago
- Outdated version of an LLVM based backend for OCaml. Newer version:☆22Updated 14 years ago
- A practical LLVM backend for OCaml (will never be finished)☆35Updated 11 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 11 years ago
- ☆60Updated 6 years ago
- A small implementation of type inference☆80Updated 10 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆33Updated 7 years ago
- Library for incremental computations depending only on Core_kernel☆47Updated 7 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- The language of the future!☆73Updated last year
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆46Updated 2 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆69Updated 8 months ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 8 years ago
- Standard ML compiler based on typed intermediate languages.☆51Updated 11 years ago