A Lisp Dialect
☆46Jul 1, 2016Updated 10 years ago
Alternatives and similar repositories for LoLi
Users that are interested in LoLi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- Just a prototype, but will be improved soon.☆22Jan 9, 2015Updated 11 years ago
- ☆25Dec 13, 2016Updated 9 years ago
- Lisp Flavoured C++☆29Mar 12, 2021Updated 5 years ago
- haskell-like compiled language based on Python VM☆10Sep 16, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Code for my blog☆10Feb 26, 2017Updated 9 years ago
- Agda formalisation of FOTC (First-Order Theory of Combinators).☆13Aug 25, 2026Updated 2 months ago
- The Dragon Virtual Machine.☆10Jan 31, 2018Updated 8 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Apr 26, 2019Updated 7 years ago
- HSEFZ 2016元旦文艺汇演弹幕屏 & 大(xiao)数据分析☆12Feb 6, 2016Updated 10 years ago
- A Lightweight Columnar Database in Common Lisp☆11Jun 4, 2018Updated 8 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Feb 6, 2020Updated 6 years ago
- A Programming Language for Deep Learning☆459May 10, 2018Updated 8 years ago
- Functors, Monads and Free Monads in C++☆20Jul 5, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 莉沫酱存储！☆12Dec 21, 2024Updated last year
- A 3D Game Engine by creatorlxd.Use DirectX☆22Feb 8, 2022Updated 4 years ago
- a lisp(clojure) in Objective-C, run on OS X and iOS☆25Sep 2, 2021Updated 5 years ago
- A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.☆30Mar 13, 2019Updated 7 years ago
- Lisp interpreter☆10Jan 8, 2015Updated 11 years ago
- Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.☆16May 18, 2021Updated 5 years ago
- A Castle game, based on https://github.com/ice1000/Castle-game, with capable GUI and CUI runner☆16Aug 24, 2016Updated 10 years ago
- ☆12Jun 28, 2018Updated 8 years ago
- A Jekyll plugin to provide static site comments via GitHub pull requests.☆11Nov 23, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A multi-paradigm programming language running on JVM☆130May 11, 2018Updated 8 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- An untyped lambda calculus machine designed in FPGA.☆17Sep 22, 2018Updated 8 years ago
- secret project☆17Mar 14, 2018Updated 8 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 6 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆45Apr 8, 2018Updated 8 years ago
- A tricky compiler generator☆13Nov 11, 2015Updated 10 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Yet another galgame☆37Mar 16, 2026Updated 7 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Common Lisp compiler, designed to compile to C (and from there to native code or JavaScript)☆28Feb 7, 2015Updated 11 years ago
- ☆16Dec 17, 2024Updated last year
- A free, open-source Online Judge alternative. Coding Magic.☆13Aug 10, 2023Updated 3 years ago
- Secure/Speedup TCP-like UDP protocol☆12Jun 20, 2017Updated 9 years ago
- tasty feature extensions for python3(NO MAINTENANCE!).☆61Jul 7, 2019Updated 7 years ago
- 通話に誰か入ってきた時に音楽を流す☆11Sep 13, 2020Updated 6 years ago
- An Android UI framework for chatting APPs.☆17May 10, 2016Updated 10 years ago