Very spicy additions to the Java programming language.
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
:hocho: Strictly RFC 3986 compliant URI parsing and handling library written in C99; moved from SourceForge to GitHub
- uriparser
- c
- rfc-3986
- rfc-3513
Directly include C headers in D source code
- translation
- cpp17
- cpp
- clang
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
A stand-alone Swift wrapper around the mongo-c client library, enabling access to MongoDB servers.
- swift
- mongodb-connector
- server-side-swift
- mongodb
Dynamic Binding for libui (https://github.com/andlabs/libui) in D
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl