Functional programming in Groovy
Repository Index
87,075 visible repositories in the index
817–840 of 1,034 · Most stars
Raylib binds to elixir for programming games
- raylib
- elixir
- bindings
- audio
The repository host gives no description.
A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall
A collection of classes to give a fluent builder for Streams (Lazy Groovy Generators)
Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.
Golang source code parsing, usage like reflect package
- refactor
- metaprogramming
- go
- ast
Parser for ABNF Grammars
Common Lisp bindings and interface to the Allegro 5 game programming library
- common-lisp
- game-development
- allegro5
- bindings
OCaml bindings to libcurl
- libcurl
- ocaml-bindings
- ocaml
Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Functional programming framework for Go.
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
A Coreader-like Dependency Injection μFramework
- dependency-injection
- coreader
- functional-programming
- ios
BEAM friendly spinlocks for Elixir/Erlang
- concurrency
- concurrent-data-structure
- parallel-programming
An asynchronous event-driven network framework( port netty ) written in D.
- dlang
- network
- event-driven
- asynchronous
Pascal binding for SFML
- object-pascal
- wrapper
- library
- game-engine
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Common Lisp CFFI wrapper around the DuckDB C API
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
OCaml bindings to MariaDB, supporting the nonblocking API
Vulkan bindings for Common Lisp.
- common-lisp
- vulkan
- graphics-programming