TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
Repository Index
47,133 repositories indexed
409–432 of 855 · Most stars
A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.
Clojure wrapper around JGit
Ruby speech recognition with Pocketsphinx
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
Bindings to connect lua with Steam API
- game-development
- love2d
- lua
- steam-api
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators
F# computation expression builder for System.Threading.Tasks
- fsharp
- task
- computation-expressions
- async
Complete ECMAScript Fifth Edition Implemention in Object Pascal
A simple, flexible, extensible, and liberal RSS and Atom reader for Ruby. It is designed to be backwards compatible with the standard RSS parser, but will never do RSS generation.
A parser combinator library written in the Swift programming language.
- parser
- parser-combinators
- swift
- functional
Template your base files and generate new projects from Git(Hub).
- generator
- scaffolding
- templates
- schema
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
cpp11 helps you to interact with R objects using C++ code.
- r
- cpp11
- cpp
R bindings to the libgit2 library
- libgit2
- libgit2-library
- git
- git-client
CleanAspire is a cloud-native template built on Aspire, using .NET 10 Minimal APIs and Blazor WebAssembly to deliver lightweight, scalable PWAs with offline support.
- blazor-webassembly
- clean-architecture
- aspire
- blazor-wasm
.net bindings for the rocksdb by facebook
Tiny library (<200B gzip) for deferring something by a "tick"
- defer
- javascript
- async
- wait
The repository host gives no description.
interactive programming of melodies, producing MIDI