coil-language / coil-langView external linksLinks
The Coil Programming Language
☆33Mar 19, 2024Updated last year
Alternatives and similar repositories for coil-lang
Users that are interested in coil-lang are comparing it to the libraries listed below
Sorting:
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- Library for parsing and compiling OMeta grammars to ruby☆47Sep 18, 2008Updated 17 years ago
- A framework for making real-time SPA web apps with vlang. Basically Phoenix LiveView in V.☆12Aug 16, 2021Updated 4 years ago
- ☆16Feb 18, 2025Updated 11 months ago
- WebAssembly version of Plorth programming language☆16Dec 20, 2017Updated 8 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- CHR2 to SQL conversion☆15Aug 27, 2015Updated 10 years ago
- TODA files: an open source cryptographic asset structure☆17Jul 28, 2025Updated 6 months ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- Compile kotlin files from Leiningen☆19Feb 22, 2018Updated 7 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Dec 10, 2017Updated 8 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 17, 2020Updated 5 years ago
- Generative Art Experiments using Haskell, GHCJS, and Reflex (FRP)☆18Mar 16, 2019Updated 6 years ago
- A portable Common Lisp toolkit for building inspectors [MOVED TO CODEBERG]☆21May 26, 2025Updated 8 months ago
- Demo of using jaylib in a web browser☆24Jan 18, 2024Updated 2 years ago
- Haskell binding for PADS☆21Jun 10, 2019Updated 6 years ago
- ☆20Mar 1, 2023Updated 2 years ago
- Port of microKanren to JavaScript.☆25Feb 19, 2022Updated 3 years ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆20Jan 19, 2025Updated last year
- generate art from a hash☆23Jul 6, 2025Updated 7 months ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Dec 3, 2024Updated last year
- The ISSR backend for The Hunchentoot HTTP server.☆25Sep 12, 2021Updated 4 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Feb 1, 2022Updated 4 years ago
- Universal backend for indexing, storing, and querying documents.☆24Nov 10, 2019Updated 6 years ago
- MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.☆23Oct 25, 2023Updated 2 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆57Apr 29, 2019Updated 6 years ago
- A platform-agnostic multi-level index☆33Feb 5, 2026Updated last week
- Lean ported to Javascript with Emscripten☆27Jun 27, 2017Updated 8 years ago
- The Directed Acyclic Graph Elevation Markup Language☆80Apr 17, 2025Updated 9 months ago
- A functional fluent API generator☆35Dec 30, 2022Updated 3 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Dec 18, 2025Updated last month
- Morte IDE☆29Apr 3, 2025Updated 10 months ago
- Experimental spreadsheet UI for kdb+/k4/q☆32Mar 6, 2015Updated 10 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Jan 13, 2018Updated 8 years ago
- A simple terminal-based text editor written in Janet. [WIP]☆38Apr 16, 2023Updated 2 years ago
- mReasoner is a unified computational implementation of the model theory of thinking and reasoning☆13Aug 17, 2023Updated 2 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆43Updated this week
- Simple MySQL Async/Await Connection Pool☆10Dec 8, 2022Updated 3 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Jan 5, 2026Updated last month