JarnaChao09 / KoffectView external linksLinks
A context-oriented programming language with support for multiple programming paradigms with a focus on context oriented programming.
☆14Jan 20, 2026Updated 3 weeks ago
Alternatives and similar repositories for Koffect
Users that are interested in Koffect are comparing it to the libraries listed below
Sorting:
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆30Jan 28, 2026Updated 2 weeks ago
- Atlas77 is a programming language in development written in Rust☆44Updated this week
- The initial (legacy) compiler for the Gera programming language.☆24May 10, 2024Updated last year
- Lovable memory-safe systems language with a pretty fast compiler☆18Feb 6, 2026Updated last week
- ☆52Dec 23, 2025Updated last month
- programming language☆25Sep 22, 2025Updated 4 months ago
- A program for querying and modifying information in a datalog-like format backed by SQLite.☆40Feb 17, 2022Updated 3 years ago
- The motion model software development kit for the LandSAR search and rescue software platform☆17Feb 3, 2026Updated last week
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆27Nov 28, 2025Updated 2 months ago
- Get started on the PicoCalc using the Pico-Series C/C++ SDK.☆27Jan 31, 2026Updated last week
- Simple implementation of SHA1 in C☆12Apr 26, 2017Updated 8 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- ☆10Nov 14, 2022Updated 3 years ago
- OFFICIAL & ORIGINAL ASTRALIXI OS REPOSITRY☆19Nov 29, 2025Updated 2 months ago
- Playing with type systems☆51Dec 29, 2024Updated last year
- Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check☆10Jul 19, 2019Updated 6 years ago
- A Node.js script for converting PDF files to EPUB format using the ebook-convert tool from Calibre.☆10Jan 30, 2026Updated 2 weeks ago
- Haskell phonology library.☆10Jan 23, 2012Updated 14 years ago
- y.js (https://github.com/yjs/yjs) Dart port, a CRDT implementation. CRDTs allow for local, offline editing and synchronization of shared …☆12Dec 18, 2022Updated 3 years ago
- PKM + REPL + AI☆12Aug 2, 2024Updated last year
- debug path list environment variables☆13Dec 23, 2025Updated last month
- Happy Little Decision Tree☆16Jan 12, 2018Updated 8 years ago
- my personal dotfiles and other home stuff vcsh style☆12Sep 30, 2025Updated 4 months ago
- Example code for blog post☆31Sep 7, 2013Updated 12 years ago
- Quicklook plugin for .gradle files☆12Feb 14, 2015Updated 10 years ago
- Macsyma☆14Jan 23, 2018Updated 8 years ago
- Saltstack AWS creates all the non-server components of a AWS hosted datacenter☆11Aug 23, 2018Updated 7 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated 11 months ago
- A set of tools, components, and libraries for building interactive math applications.☆14Jan 3, 2025Updated last year
- easy directory watches in clojure☆11Sep 9, 2019Updated 6 years ago
- xv6 OS [version for Reiss's CS4414]☆11Nov 17, 2023Updated 2 years ago
- Extism Plug-in development kit (PDK) for Haskell☆10Mar 22, 2025Updated 10 months ago
- ☆10Jun 23, 2017Updated 8 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Ascii85 encoder/decoder written in C with no memory allocation, no whitespace tolerance.☆11Jun 24, 2020Updated 5 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated last year
- The Titan programming language.☆12Apr 16, 2024Updated last year
- Envv is a shell-independent way of handling environment variables. (not mine)☆16Jan 16, 2024Updated 2 years ago
- Like autoenv and direnv only better with Bash.☆11Nov 29, 2022Updated 3 years ago