A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.
Repository Index
47,133 repositories indexed
265–288 of 494 · Most stars
a network packet capture compiler
a rust compiler daemon for up to 25x faster cargo builds
Lispbuilder provides a range of libraries for developing useful portable Common Lisp applications
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484
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
This is a grunt task for adding a grunt task to compiler ES6 JS into ES3 JS using Traceur Compiler
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
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
🌟 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
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).
Jitescript - Java API for Bytecode
A Verified Compiler for Gallina, Written in Gallina
Go Lang Web Assembly bindings for DOM, HTML etc
- wasm
- binding
- golang
Easy OCaml bindings for Javascript libraries
A simple cross platform .NET API for Intel MKL
- mkl
- cross-platform
- matrix
- linear-algebra
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
FMOD Studio middleware integration and scripting API bindings for the Godot game engine.
- game-development
- game-engine-development
- game-audio
- dynamic-audio
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Hooks for Yew, inspired by streamich/react-use and alibaba/hooks.
- yew
- rust
- react
- hooks
A Go port of the Java Streams API. Type-safe and functional Go Streams processing
- golang
- go
- stream-processing
- generics
Multi-Paradigm Pipeline Implementation
Haskell bindings for Vulkan