cpgf library
- cpgf
- lua-bindings
- c-plus-plus
- python-bindings
Repository Index
47,133 repositories indexed
289–312 of 549 · Most stars
CleanAspire is a cloud-native template built on Aspire, using .NET 10 Minimal APIs and Blazor WebAssembly to deliver lightweight, scalable PWAs with offline support.
- blazor-webassembly
- clean-architecture
- aspire
- blazor-wasm
interactive programming of melodies, producing MIDI
Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.
- linker-flags
- cmake
- compiler-flags
- unity-build
A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.
⛓ A chainable interface for Swift's async/await.
- async-await
- swift5
- concurrency
- async
A formalization of geometry in Coq based on Tarski's axiom system
Gostradamus: Better DateTimes for Go 🕰️
- golang
- datetime
- date
- time
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 rust compiler daemon for up to 25x faster cargo builds
Lispbuilder provides a range of libraries for developing useful portable Common Lisp applications
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Open source PTX to SASS assember (previously closed source by nvidia), more efficient SASS kernal for large scale Matrix Multiplication and Addition (MMA)
- compiler
- compiler-backend
- compiler-optimization
- gpu-acceleration
This is a grunt task for adding a grunt task to compiler ES6 JS into ES3 JS using Traceur Compiler
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Like `Promise.all()` but for `Map` and `Object`
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
Rust-like error handling and options for Bun, Deno and Node.
- deno
- typescript
- rust
- error-handling
Secure firmware framework focusing on developer experience
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).
An esoteric programming language built to break LLMs and coding agents.
golang wrapper for github.com/OSGEO/gdal
Crystal-lang bindings for libui
- crystal
- gui