saman-pasha / ciciliView external linksLinks
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 2 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 9 months ago
- Portability library for better interaction and debugging of a running Common Lisp image through text REPL.☆20Jun 29, 2025Updated 7 months 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 10 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
- Topos theory in Lean 4☆16Feb 10, 2025Updated last year
- SLIME extension for Lisp Critic☆10Jul 2, 2023Updated 2 years ago
- A collection of Common Lisp modules☆14Dec 12, 2025Updated 2 months ago
- A system installation/loading abstraction for Common Lisp☆12Feb 11, 2024Updated 2 years ago
- A programming language based on bindings.☆12Jul 6, 2025Updated 7 months ago
- A library for portable framebuffer access☆18Aug 13, 2025Updated 6 months ago
- An Editor with Generic Semantics for Formal Reasoning About Visual Notations☆22Mar 13, 2021Updated 4 years ago
- Common Lisp bytecode compiler☆14Nov 17, 2025Updated 3 months ago
- Joshua and Clim Environment☆15Apr 20, 2022Updated 3 years ago
- *Lisp simulator☆28Oct 11, 2013Updated 12 years ago
- Run etcd as an asynchronous inferior process☆17Feb 2, 2023Updated 3 years ago
- generalized specializers work☆17Dec 5, 2017Updated 8 years ago
- The RScheme Revival Project☆25Jun 27, 2014Updated 11 years ago
- General definitions reflection library☆19Aug 13, 2025Updated 6 months ago
- 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
- ☆17Jul 12, 2024Updated last year
- Rapid file search and inspection☆16Sep 9, 2025Updated 5 months ago
- ☆20Mar 14, 2021Updated 4 years ago
- EDN reader for Common Lisp☆18Oct 9, 2024Updated last year
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 8 years ago
- A Common Lisp Framework for the Semantic Web☆24Mar 28, 2021Updated 4 years ago
- Statistical learning models for the Common Lisp☆17Apr 23, 2025Updated 9 months ago
- Some general condition classes and signalling helpers☆27Nov 6, 2024Updated last year
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- A Common Lisp LLM completions library☆25Oct 26, 2025Updated 3 months ago
- 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
- ☆35Nov 10, 2025Updated 3 months ago
- Functional utilities for Common Lisp☆31Jun 28, 2025Updated 7 months ago
- Inference Llama in Common Lisp☆63Nov 7, 2025Updated 3 months ago
- MS Windows API from Common Lisp perspective☆33Nov 21, 2024Updated last year