Compile-time LISP interpreter on C macro preprocessor
☆144Mar 29, 2018Updated 7 years ago
Alternatives and similar repositories for CSP
Users that are interested in CSP are comparing it to the libraries listed below
Sorting:
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Sep 9, 2018Updated 7 years ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago
- Functional-programming macros for the C preprocessor.☆63Feb 12, 2015Updated 11 years ago
- A plugin framework for namespace macros in C/C++☆36Jul 1, 2014Updated 11 years ago
- Talking about classical logic and abstract algebra in Haskell☆16Feb 12, 2021Updated 5 years ago
- 🍎 Play Bad Apple! with Haskell☆15Jul 22, 2022Updated 3 years ago
- Unicode Character Database (UCD) Tools☆13May 9, 2021Updated 4 years ago
- The Dragon Virtual Machine.☆10Jan 31, 2018Updated 8 years ago
- Category Theory in Programming☆13Jan 22, 2026Updated last month
- Julia implementation for Python Restrain JIT☆22Mar 3, 2021Updated 5 years ago
- An implementation of Scheme R7RS-small in 48 working hours.☆19Mar 13, 2020Updated 5 years ago
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- Abusing the C99 preprocessor for meta-programming☆20Nov 19, 2017Updated 8 years ago
- haskell-like compiled language based on Python VM☆10Sep 16, 2018Updated 7 years ago
- Check your grade automatically and send e-mail when new grade comes☆12Feb 7, 2018Updated 8 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- Corecat: Core library☆21Jun 29, 2018Updated 7 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆26Oct 4, 2020Updated 5 years ago
- An implementation of Scheme embedded in Common Lisp☆25Dec 2, 2011Updated 14 years ago
- 基于鸭子编译器写的os☆22Oct 25, 2020Updated 5 years ago
- an extensible stack based interpreter toolkit☆67Jan 6, 2021Updated 5 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated 11 months ago
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated last year
- (ALPHA) Persistent, memory-mapped Common Lisp object store☆14Oct 26, 2020Updated 5 years ago
- 🚀 OOP in pure C with a single-header☆133Jul 14, 2022Updated 3 years ago
- Yoneda lemma in every known language☆17Mar 10, 2023Updated 2 years ago
- #lang for writing C code☆16May 30, 2017Updated 8 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 5 years ago
- Closure function implementation for C☆20May 28, 2017Updated 8 years ago
- How many interface{} are there in your project?☆16Aug 2, 2021Updated 4 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Apr 26, 2019Updated 6 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- A Lisp implementation in which a lot of language features are self-definable.☆18Aug 1, 2019Updated 6 years ago
- Machine Learning library for Common Lisp☆17Oct 14, 2021Updated 4 years ago
- Excessive macro that generates decision trees for small sets of strings☆18Jun 18, 2018Updated 7 years ago
- 如果将markdown视作一门编程语言可以做哪些有趣的事情呢?☆75Oct 6, 2018Updated 7 years ago
- A demonstration of implementing a "type-safe" lazy iterator interface in pure C99☆100Jun 27, 2021Updated 4 years ago
- minikanren mips assembler/disassembler☆34Mar 28, 2015Updated 10 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Jul 13, 2020Updated 5 years ago