A context-oriented programming language with support for multiple programming paradigms with a focus on context oriented programming.
☆14Feb 25, 2026Updated last week
Alternatives and similar repositories for Koffect
Users that are interested in Koffect are comparing it to the libraries listed below
Sorting:
- Improved type safety with tight TypeScript interop☆14Feb 17, 2025Updated last year
- Atlas77 is a programming language in development written in Rust☆44Feb 19, 2026Updated 2 weeks ago
- The initial (legacy) compiler for the Gera programming language.☆24May 10, 2024Updated last year
- Run code from many programming languages in Discord!☆18Jun 16, 2024Updated last year
- siko☆14Jan 6, 2024Updated 2 years ago
- Lovable memory-safe systems language with a pretty fast compiler☆18Feb 13, 2026Updated 3 weeks ago
- Smalltalk like programming language☆68Updated this week
- programming language☆25Sep 22, 2025Updated 5 months ago
- Simple implementation of SHA1 in C☆12Apr 26, 2017Updated 8 years ago
- OFFICIAL & ORIGINAL ASTRALIXI OS REPOSITRY☆19Nov 29, 2025Updated 3 months ago
- Type-safe hashmap type generator for C☆26Jan 20, 2026Updated last month
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- The motion model software development kit for the LandSAR search and rescue software platform☆18Feb 3, 2026Updated last month
- ☆10Nov 14, 2022Updated 3 years ago
- Playing with type systems☆51Dec 29, 2024Updated last year
- A set of tools, components, and libraries for building interactive math applications.☆14Jan 3, 2025Updated last year
- A code-running bot.☆10Jan 26, 2026Updated last month
- Get started on the PicoCalc using the Pico-Series C/C++ SDK.☆28Jan 31, 2026Updated last month
- Like autoenv and direnv only better with Bash.☆11Nov 29, 2022Updated 3 years ago
- GNU Guix is a purely functional package manager for the GNU system, and a distribution thereof.☆12Oct 21, 2014Updated 11 years ago
- Extism Plug-in development kit (PDK) for Haskell☆10Mar 22, 2025Updated 11 months ago
- A time-tracker built for education, fun and eventually profit.☆14Dec 11, 2022Updated 3 years ago
- Happy Little Decision Tree☆16Jan 12, 2018Updated 8 years ago
- Manage your checkouts directory with ease☆11Dec 5, 2016Updated 9 years ago
- ☆10Jun 23, 2017Updated 8 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Kystrix is a small Kotlin DSL over Hystrix☆11Feb 9, 2024Updated 2 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 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
- Saltstack AWS creates all the non-server components of a AWS hosted datacenter☆11Aug 23, 2018Updated 7 years ago
- The Titan programming language.☆12Apr 16, 2024Updated last year
- Print the uncompressed size of a GZip file.☆14Sep 16, 2019Updated 6 years ago
- Implementation of Pie, following The Little Typer☆19Updated this week
- debug path list environment variables☆13Dec 23, 2025Updated 2 months ago
- Envv is a shell-independent way of handling environment variables. (not mine)☆16Jan 16, 2024Updated 2 years ago
- An Emacs major mode for managing launchd jobs☆14Jun 11, 2021Updated 4 years ago
- Clojure library to explore inversion of control technique - in several senses.☆10May 14, 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
- Rehearsal: A Configuration Verification Tool for Puppet☆11Dec 19, 2019Updated 6 years ago