Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.
- linker-flags
- cmake
- compiler-flags
- unity-build
Repository Index
47,133 repositories indexed
433–456 of 855 · Most stars
⛓ 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
Elm architecture and (V)DOM for OCaml
A Lua 5.3 parser written with LPegLabel
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Functional Concurrency Primitives
- concurrency
- software-transactional-memory
- synchronization
- lock
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
Elixir bindings for Vega-Lite
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.
- go
- golang
- type
- struct
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
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
🌟 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
Secure firmware framework focusing on developer experience
Jitescript - Java API for Bytecode
An esoteric programming language built to break LLMs and coding agents.
The iterable toolbox
A Verified Compiler for Gallina, Written in Gallina
golang wrapper for github.com/OSGEO/gdal
SDL2 module for Deno
First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.
- clojure
- pattern-matching
- functional-programming
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
- header-translation
- pascal-binding
- raylib
- lazarus
More up-to-date version of cl-charms. Forked it because it was, apparently, abandoned by author and I couldn't contact him.