Alternatives and similar repositories for nV:

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

• maTHmU / nV
  ☆41Updated 8 years ago
• binghe / HOL-CCS
  Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
  ☆6Updated 3 years ago
• mulab / mU
  Core Interpreter of maTHmU CAS
  ☆36Updated 4 years ago
• maTHmU / mU
  Core Interpreter of maTHmU CAS
  ☆67Updated 8 years ago
• overminder / sanya-native
  Yet another scheme compiler... This time generating shitty code.
  ☆17Updated 12 years ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 6 years ago
• guenchi / TSPL
  The Scheme Programming Language - ZhCN
  ☆44Updated 3 months ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆30Updated 10 years ago
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆29Updated 4 years ago
• thautwarm / RBNF
  This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…
  ☆40Updated 6 years ago
• lkwq007 / ocaml-manual-cn
  OCaml 文档中文版
  ☆32Updated 6 years ago
• miura1729 / ytljit
  Native Code Generator for Ruby compiler
  ☆49Updated 10 years ago
• bartuer / ydiff
  a language-aware tool for comparing programs
  ☆28Updated 13 years ago
• NoahDragon / BuildYourOwnLispCn
  《学C语言写Lisp》 *Build Your Own Lisp* 中文版
  ☆52Updated 2 years ago
• Alaya-in-Matrix / CLaSH-Processor
  A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog
  ☆22Updated 7 years ago
• evilbinary / duck-compiler
  🦆鸭子编译器
  ☆21Updated 4 years ago
• slowphil / texmacs-win-builder
  Automate building of TeXmacs on windows using MSys2/Mingw-w32
  ☆10Updated 2 years ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆34Updated 9 years ago
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 5 years ago
• windoze / brainfuck
  Brianfuck compiler and JIT runner
  ☆74Updated 5 years ago
• hczhcz / y86
  Yet another Y86 implementation
  ☆67Updated 3 months ago
• XmacsLabs / Xmacs
  Xmacs renamed to Mogan
  ☆34Updated 3 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 years ago
• hmgle / yascm
  Yet Another Scheme Interpreter using flex and bison
  ☆50Updated 2 years ago
• CTeX-DEV / CTeX
  ☆26Updated 8 years ago
• FrankHB / YEGE
  Yet another EGE library
  ☆23Updated last year
• guenchi / Matplotlib
  Matplotlib for Chez Scheme
  ☆24Updated 5 years ago
• GabrielDosReis / open-axiom
  OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
  ☆25Updated 8 months ago
• maTHmU / MTCAS
  Mathematica Theory of Computer Algebra System
  ☆117Updated 9 years ago