The single instruction language - Flip a bit, then Jump
- esoteric-programming-language
- programming-language
- oisc
- esolang
Repository Index
47,133 repositories indexed
505–528 of 863 · Most stars
Arrow-macros provides Clojure-like arrow macros in Common Lisp
A safe way to execute functions asynchronously, recovering them in case of panic. It also provides an error stack aiming to facilitate fail causes discovery.
- go
- async
- hacktoberfest
XPath/XQuery 3.1 interpreter for Pascal with compatibility modes for XPath 2.0/XQuery 1.0/3.0, custom and JSONiq extensions, pattern matching, XML/HTML/JSON parsers and classes for HTTP/S requests
- xpath
- xquery
- pascal
- html
SOAP client for Elixir programming language
- soap
- elixir
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
Git super project for PySide
- python
- qt
- pyside
- qtforpython
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
A mysqldump anonymizer
- mysqldump
- anonymizer
- database-anonymizer
- rgpd
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
Delphi implementation of ZeroMQ Majordomo protocol and CZMQ high level binding
Write LÖVE 2D projects with TypeScript
- love2d
- typescript
- typescript-declaration
- lua
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
luaproc is a concurrent programming library for Lua
A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees
- common-lisp
- reader
- extensible
- error-recovery
:ram: Lisp that compiles to JavaScript in the Ramda way
- lisp
- ramda
- functional
- s-expression
Lowest barrier of entry to Image Processing, Computer Vision and Neural Networks on the JavaVM
- clojure
- computer-vision
- kotlin
- opencv
A collection of containers & algorithms for the Crystal programming language
- crystal
- algorithms
Compose promise-returning & async functions into a reusable pipeline
A revolutionary new dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch
- programming-language
- windows
- scripting-language
- compiler
A mechanisation of Wasm in Rocq
- webassembly
- wasm
- coq
- rocq-prover
Python promises
- python
- promises
- promise
- promise-library
Clojure support for protocol buffers
- clojure
- protobuf
- protobuf3
- protobuf-java