A MIPS to Java bytecode binary translator
Repository Index
47,133 repositories indexed
145–168 of 195 · Most stars
A simple wrapper for raylib in V
Messaging system for communication between classes / layers in delphi
- delphi
- firemonkey
- vcl
- fmx
Common Lisp CFFI wrapper around the DuckDB C API
⚡ V ImGui module -- dear imgui / cimgui wrapper
query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp
- common-lisp
- domain-specific-languages
- dsl
- json
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.
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science
Advanced Developer Async Programming Toolkit
- game-engine
- event
- framework
- async
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.
- python
- asynchronous
- sockets
- tcp
Run promise-returning & async functions a specific number of times concurrently
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Bindings to libgraphqlparser for R
Wait for a specified number of promises to be fulfilled
Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.
- delphi
- pascal
- allegro5
- lazarus
scikit-learn for OCaml
CGo bindings to Yandex.Mystem
- russian-specific
- mystem
- cgo-bindings
- linguistics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Basic Configuration Language
- configuration
- parsing
- virtual-machine
- ci-cd
Port of Sciter headers for the D language
- sciter
- tiscript
- htmlayout
- gui
Generate Clojure syntax from vectors
- clojure