sgreben / ok
OCaml implementation of the K 2.0 array programming language
☆80Updated 9 years ago
Alternatives and similar repositories for ok:
Users that are interested in ok are comparing it to the libraries listed below
- APL compiler written in Standard ML☆35Updated 4 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 3 years ago
- A small implementation of type inference☆78Updated 9 years ago
- APL Compiler targeting a typed array intermediate language☆211Updated 7 months ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 9 years ago
- ☆38Updated 8 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆210Updated 2 years ago
- vector programming language☆51Updated 10 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- Typed Regular Expressions☆171Updated 5 years ago
- KDB bindings for lua☆27Updated 5 years ago
- OCaml bindings for D3.js☆75Updated 6 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated 10 months ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- ☆35Updated 11 years ago
- Reagents for multicore OCaml☆126Updated last year
- MIT Scheme environment for the browser☆59Updated 7 years ago
- Getting Widespread OCaml Adoption☆85Updated 7 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 8 years ago
- A Hodgepodge of functions for living in the OCaml ecosystem☆62Updated 5 years ago
- Library and Toolkit for Standard ML☆145Updated 2 years ago
- concatenative array language inspired by kdb/+q☆91Updated 3 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆102Updated last year
- Forth clone in Haskell☆33Updated 7 years ago
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆119Updated 4 years ago
- sxc is an 'S-Expression C' transpiler for generating C code using macros written in Common Lisp☆214Updated last year
- A prolog-like language with compound truth value logic☆68Updated 7 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago