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
73–96 of 106 · Most stars
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
Learning Swift by working through example code in playgrounds
- playground
- swift
- swift-programming-language
- swift-playgrounds
interactive programming of melodies, producing MIDI
A friendly and modern functional object oriented language for shell script.
- programming-language
- scripting-language
- command-line
- terminal
A realtime visual programming language for interactive media.
Build systems with Go examples
- golang
- go
- book
- programming-language
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
A little scheme implementation on top of Clojure
Gentee - script programming language for automation. It uses VM and compiler written in Go (Golang).
- scripting-language
- automation
- programming-language
- compiler
Embedded and Extensible Scripting Language in Clojure
- lua
- eden
- clojure
- clojurescript
The single instruction language - Flip a bit, then Jump
- esoteric-programming-language
- programming-language
- oisc
- esolang
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
- domain-specific-language
- gamemaker-studio-2
- dynamically-typed
- compiler
A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.
- midi
- music-programming
- karaoke
- karaoke-player
FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch
- programming-language
- windows
- scripting-language
- compiler
The Esoteric File Archive
- esolang
- esoteric-programming-language
Electra is an esolang where you code like an electrician.
Japt 1.4.5, the other JavaScript golfing language
- javascript
- esolang
- golfing-language
- programming-language
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
The universal ISSR server compatible with <your-favorite-programming-language>
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language
Multi-platform quantum programming library, written in TypeScript, good for JS/NodeJS
- quantum-computing
- quantum-programming-language
- quantum
Lisp VSCode Extension
- common-lisp
- ide
- lisp
- programming-language
Connector to Vert.x event bus via TCP Event Bus Bridge
- elixir
- vertx
- vertx3
- vertx-eventbus