77,852 visible repositories in the index
25–48 of 62 · Most stars
Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.
A meta-language for Go that adds Result types, error propagation (?), and pattern matching while maintaining 100% Go ecosystem compatibility
An Optional Type System for Lua
CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
Java type safe statically compiled mustache
Formal verification for OCaml, with Rocq
A TLA+ interpreter and model checker in TypeScript
Directly include C headers in D source code
A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.
A collection of sweet.js macros that implement ES6 features for ES5
The reference implementation of orderly: a schema language for JSON.
[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.
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
A Verified Compiler for Gallina, Written in Gallina
transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
Tool for translation type comments to type annotations in Python
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
:ram: Lisp that compiles to JavaScript in the Ramda way
FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch
Static scope analysis and transpilation of ES6 block scoped const and let variables to ES3 vars
Macro based compile-time SCSS transpilation, CSS minification, and class name uniquification toolchain inspired by CSS modules.
Japt 1.4.5, the other JavaScript golfing language
Compilation and Verification of Data-Centric Languages