Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.
- fabric
- horizon
- minecraft
- neoforge
Repository Index
47,133 repositories indexed
25–42 of 42 · Most stars
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
Import Go libraries in your Haxe projects Go -> Haxe source-to-source compiler
- haxe
- golang
- go
- compiler
go-lock is a lock library implementing read-write mutex and read-write trylock without starvation
- golang
- go
- trylock
- mutex
The Rockstar programming language specification
An UnderscoreJS port for Coldfusion. Functional programming library.
- coldfusion
.NET wrapper around the LibSass library with the ability to support a virtual file system.
PHP bindings for Tarantool Queue.
A Starcraft 2 replay parser written in pure Ruby
Monitor and restart background threads.
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
A MT940 parser in Rust
- mt940
- fints
- hbci
- sepa
A library that brings all the CSP joy to the Elixir land.
Blen2d4Delphi is alive again, which was started by #neslib (Erik van Bilsen: https://github.com/neslib/DelphiBlend2D)
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
Elixir wrapper of Basho's Bitcask Key/Value store.
libgoffi - libffi adapter library for Go
Ada interface to the readline library