Gentee - script programming language for automation. It uses VM and compiler written in Go (Golang).
- scripting-language
- automation
- programming-language
- compiler
Repository Index
47,133 repositories indexed
409–432 of 697 · Most stars
Fast, safe, complete libvips bindings for image processing in Java / JVM projects
- ffm
- image-processing
- java
- libvips
VS add-in. Creates Xamarin.Android Binding Projects using gradle
Functional Experiment in Golang
- functional-programming
- go
- golang
- functional
Algebraic data types in Common Lisp
- common-lisp
- algebraic-data-types
- functional-programming
A library of mechanised undecidability proofs in the Coq proof assistant.
Embedded and Extensible Scripting Language in Clojure
- lua
- eden
- clojure
- clojurescript
Elixir implementation of an interpreter for the Monkey programming language
- elixir
- monkey
- interpreter
A library that simplifies error handling for Functional Programming in Java
- java
- functional-programming
- exception-handling
- error-handling
The single instruction language - Flip a bit, then Jump
- esoteric-programming-language
- programming-language
- oisc
- esolang
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
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 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
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