Shen KLambda to KLVM translator.
☆31Jan 4, 2016Updated 10 years ago
Alternatives and similar repositories for klvm
Users that are interested in klvm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Shen on python.☆20Jul 27, 2014Updated 12 years ago
- Shen implementation in Haskell☆16Aug 19, 2013Updated 12 years ago
- An embedding of miniKanren in Shen.☆25Jun 6, 2015Updated 11 years ago
- Shen experimental libraries☆149Apr 23, 2019Updated 7 years ago
- A C implementation of the Shen programming language☆72Jan 8, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- PyShen is a port of the Shen language to Python☆26Jun 26, 2013Updated 13 years ago
- ShenRuby is a port of the Shen programming language to Ruby☆77Jul 26, 2019Updated 7 years ago
- 神.java | Shen for Java 8 Indy. Shen is a portable functional programming language by Mark Tarver.☆59Sep 14, 2013Updated 12 years ago
- Shen on javascript.☆70Aug 31, 2018Updated 7 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Dec 19, 2020Updated 5 years ago
- An Emacs major mode for editing Shen source code☆30Dec 30, 2013Updated 12 years ago
- Shen for the Common Language Runtime☆36Oct 23, 2024Updated last year
- Shen language kernel sources for porters☆395Updated this week
- ☆15May 28, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆73Dec 30, 2014Updated 11 years ago
- Port of Shen to run on top of Wasp Lisp☆25Apr 29, 2022Updated 4 years ago
- microkanren in sml☆27Feb 26, 2015Updated 11 years ago
- Shen/Scheme implementation☆132Updated this week
- A Java implementation of the Shen programming language☆28May 13, 2019Updated 7 years ago
- Cleven is an experimental game engine with volume graphics written in Common Lisp.☆48Jan 11, 2017Updated 9 years ago
- ☆19Sep 3, 2019Updated 6 years ago
- Tree data structure supporting functional manipulation. Works closely with FSet.☆17Jul 21, 2026Updated 3 weeks ago
- A Go implementation of the Shen programming language☆61Jun 14, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago
- A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl☆17Jan 17, 2017Updated 9 years ago
- ☆132Jul 26, 2026Updated 2 weeks ago
- A tool for investigating memory of a process on linux.☆18Aug 19, 2016Updated 9 years ago
- ☆29Jul 1, 2015Updated 11 years ago
- Specter paths for working with formatted EDN and Clojure code☆17Jul 31, 2017Updated 9 years ago
- Examples from Introduction to Programming in ATS☆26Sep 28, 2014Updated 11 years ago
- Alef Lazily Evaluates Functions☆31Mar 10, 2013Updated 13 years ago
- 5GL C Stack Machine (Fifth Generation Graph Language)☆12Jan 10, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆15Jan 31, 2021Updated 5 years ago
- Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.☆23Jan 5, 2017Updated 9 years ago
- A Common Lisp client library for the IPFS API☆14Nov 27, 2017Updated 8 years ago
- parsley is dead, long live parsnip!☆17Sep 4, 2014Updated 11 years ago
- Display Lisp S-exp as tree of cons cells in a cario surface(pdf+ png).☆40Mar 14, 2018Updated 8 years ago
- A scripting language for cowboy coders☆22Jun 1, 2024Updated 2 years ago
- NixOS configurations for multiple computers☆15Nov 3, 2014Updated 11 years ago