mulab / nV

Related projects ⓘ

Alternatives and complementary repositories for nV

• mulab / mU
  Core Interpreter of maTHmU CAS
  ☆35Updated 3 years ago
• maTHmU / nV
  ☆40Updated 7 years ago
• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆41Updated 2 weeks ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 6 years ago
• maTHmU / mU
  Core Interpreter of maTHmU CAS
  ☆67Updated 7 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 10 years ago
• maTHmU / mathmu.github.io
  ☆24Updated 7 years ago
• sunnycase / TomatoOS
  一个C++实现的简单操作系统
  ☆17Updated 9 years ago
• overminder / sanya-native
  Yet another scheme compiler... This time generating shitty code.
  ☆17Updated 11 years ago
• CTeX-DEV / CTeX
  ☆26Updated 7 years ago
• Alaya-in-Matrix / CLaSH-Processor
  A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog
  ☆22Updated 6 years ago
• cvgmt / asy4cn
  Automatically exported from code.google.com/p/asy4cn
  ☆11Updated 2 years ago
• binghe / HOL-CCS
  Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
  ☆6Updated 3 years ago
• bajdcc / cliblisp
  Simple Lisp VM(C++ 14)
  ☆33Updated 5 years ago
• MarisaKirisame / reflection
  ☆18Updated 8 years ago
• FrankHB / YEGE
  Yet another EGE library
  ☆22Updated 9 months ago
• NoahDragon / BuildYourOwnLispCn
  《学C语言写Lisp》 *Build Your Own Lisp* 中文版
  ☆51Updated last year
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 6 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 9 years ago
• thautwarm / EBNFParser
  Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).
  ☆65Updated 6 years ago
• hmgle / yascm
  Yet Another Scheme Interpreter using flex and bison
  ☆49Updated 2 years ago
• texmacs / guile
  mirror of GNU Guile
  ☆9Updated 4 years ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆52Updated this week
• XmacsLabs / Xmacs
  Xmacs renamed to Mogan
  ☆34Updated 2 years ago
• DeYangLiu / chez-exe
  Chez Scheme self hosting executable
  ☆9Updated 6 years ago
• maTHmU / MTCAS
  Mathematica Theory of Computer Algebra System
  ☆108Updated 9 years ago
• zenglong / zengl_language
  zengl language 嵌入式编程语言
  ☆20Updated 2 years ago