Alternatives and similar repositories for ok

Users that are interested in ok are comparing it to the libraries listed below

• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆65Updated 2 weeks ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 10 years ago
• zholos / kuc
  vector programming language
  ☆51Updated 10 years ago
• joeltg / ozymandias
  MIT Scheme environment for the browser
  ☆59Updated 7 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆214Updated 9 months ago
• Pascal-J / Jfire
  Arrayfire bindings for J language
  ☆12Updated 7 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆70Updated 6 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• NVIDIA / remorac
  ☆38Updated 9 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 4 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• deplinenoise / c-amplify
  S-expression source translation and macro expansion utility
  ☆84Updated 14 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆68Updated 7 years ago
• geocar / qlua
  KDB bindings for lua
  ☆27Updated 5 years ago
• jozefg / pcf
  A small compiler for PCF
  ☆124Updated 4 years ago
• ocaml-multicore / reagents
  Reagents for multicore OCaml
  ☆126Updated 2 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 8 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆65Updated 10 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• joebo / microj
  ☆14Updated 7 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆212Updated 2 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆197Updated 3 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• orchid-hybrid / scm--js
  scm->js
  ☆22Updated 9 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year