Blen2d4Delphi is alive again, which was started by #neslib (Erik van Bilsen: https://github.com/neslib/DelphiBlend2D)
Repository Index
47,133 repositories indexed
553–576 of 636 · Most stars
The repository host gives no description.
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
TML Object Pascal Components
Static & dynamic D bindings to the C API of Lua, compatible with BetterC, @nogc, and nothrow.
- bindbc
- lua
- lua-bindings
- dlang
Experiment to compile something Elm-ish to Wasm
Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:
- concurrency
- async-await
- reactive-programming
- streams
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
GML VM and Compiler built inside of GML with the long term goal to be able to compile any project folder.
Common Lisp bindings to the C++ NDB API of RonDB
Common Lisp system for decoding public JSON Web Keys (JWK)
- common-lisp
- jwk
- jwkset
- lisp
Primitive Threads and Concurrency Operations for Coalton
Less compiler for golang
Common Lisp bindings for Enchant spell-checker library
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Parse, manipulate and render CommonMark in Scala Native
- commonmark
- scala
- scala-native
GNAT Components Collection – Bindings to C libraries
Common Lisp CFFI bindings to the Horde3D graphics library.
Fast LZMA2 Wrapper for .NET
- compression
- dotnet
- lzma2
- nuget
Racket to JavaScript Compiler
David McClain's 'Actors' package for LispWorks
Migrate your active record migrations to ecto compatible migrations
A string parsing tool inspired by the REXX PARSE construct.
HTPL is a programming language based on HTML
- programming-language
- htpl-compiler
- html