Safe Modern C Solution. Cicili is a Lisp-dialect programming language that implements Haskell's advanced functional semantics, like ADTs, Monads, and pattern matching, by transpiling directly to high-performance C with built-in, RAII-style automatic memory management.
☆43Nov 23, 2025Updated 3 months ago
Alternatives and similar repositories for cicili
Users that are interested in cicili are comparing it to the libraries listed below
Sorting:
- Lisp C Compiler aka. 'Cicili' programming language, which compiles Lisp-like syntax to C code and more extra features like method, lambda…☆33May 4, 2025Updated 10 months ago
- Portability library for better interaction and debugging of a running Common Lisp image through text REPL.☆20Feb 12, 2026Updated 3 weeks ago
- A Common Lisp toolkit to construct interface-aware yet standard-compliant debugger hooks.☆12Jan 2, 2025Updated last year
- Common Lisp metaclass adding support for slot validation☆11Mar 31, 2025Updated 11 months ago
- Generate string from regular expression☆27Jun 3, 2021Updated 4 years ago
- A Visual Spatial Query Language written in Common Lisp & CLIM for its GUI☆11Mar 14, 2021Updated 4 years ago
- A collection of Common Lisp modules☆14Dec 12, 2025Updated 2 months ago
- SLIME extension for Lisp Critic☆10Jul 2, 2023Updated 2 years ago
- A system installation/loading abstraction for Common Lisp☆12Feb 11, 2024Updated 2 years ago
- A programming language based on bindings.☆12Jul 6, 2025Updated 8 months ago
- Topos theory in Lean 4☆17Feb 10, 2025Updated last year
- Common Lisp bytecode compiler☆14Feb 19, 2026Updated 2 weeks ago
- An Editor with Generic Semantics for Formal Reasoning About Visual Notations☆22Mar 13, 2021Updated 4 years ago
- A library for portable framebuffer access☆18Aug 13, 2025Updated 6 months ago
- Joshua and Clim Environment☆15Apr 20, 2022Updated 3 years ago
- Run etcd as an asynchronous inferior process☆19Feb 2, 2023Updated 3 years ago
- generalized specializers work☆17Dec 5, 2017Updated 8 years ago
- *Lisp simulator☆28Oct 11, 2013Updated 12 years ago
- ☆17Jul 12, 2024Updated last year
- MIT CADR Lisp Machine Resurrection Project☆17May 23, 2014Updated 11 years ago
- Common Lisp bindings for Enchant spell-checker library☆17Sep 12, 2025Updated 5 months ago
- Rapid file search and inspection☆16Sep 9, 2025Updated 6 months ago
- General definitions reflection library☆19Aug 13, 2025Updated 6 months ago
- The RScheme Revival Project☆25Jun 27, 2014Updated 11 years ago
- Statistical learning models for the Common Lisp☆17Apr 23, 2025Updated 10 months ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 8 years ago
- ☆20Mar 14, 2021Updated 4 years ago
- A Common Lisp Framework for the Semantic Web☆24Mar 28, 2021Updated 4 years ago
- EDN reader for Common Lisp☆18Oct 9, 2024Updated last year
- Some general condition classes and signalling helpers☆27Nov 6, 2024Updated last year
- A Common Lisp LLM completions library☆28Oct 26, 2025Updated 4 months ago
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- The Ops5 programming language for production systems☆42Jan 17, 2020Updated 6 years ago
- Library for determining the types of Common Lisp forms based on information stored in the environment.☆19Dec 27, 2023Updated 2 years ago
- All polymorphs united☆22Apr 8, 2023Updated 2 years ago
- Functional utilities for Common Lisp☆31Jun 28, 2025Updated 8 months ago
- ☆34Nov 10, 2025Updated 3 months ago
- Inference Llama in Common Lisp☆62Nov 7, 2025Updated 4 months ago
- Experiments on workflow with common lisp☆25Mar 1, 2026Updated last week