An open-source C++ library developed and used at Facebook.
Repository Index
47,133 repositories indexed
1–24 of 42 · Most stars
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Adds static typing to JavaScript to improve developer productivity and code quality.
A virtual machine for executing programs written in Hack.
- hhvm
- php
- hack
- hacklang
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
Open Machine Learning Compiler Framework
- compiler
- tensor
- deep-learning
- gpu
A JavaScript engine optimized for running React Native.
A fast type checker and language server for Python
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
A Haskell library that simplifies access to remote data, such as databases or web-based services.
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
- based
- pylance
- pyright
- python
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
- java
- intellij
- json
- template-engine
GoogleSQL(formerly ZetaSQL) - Analyzer Framework for SQL
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
A tool set for CSS including fast detailed parser, walker, generator and lexer based on W3C specs and browser implementations
Next generation API for .NET
- reflection
- raft
- raft-consensus
- raft-consensus-algorithm
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.
- code-analysis
- code-transformation
- metaprogramming
- code-generation
MetaCall: The ultimate polyglot programming experience.
- metacall
- function-mesh
- programming-language
- inter-language
Emgo: Bare metal Go (language for programming embedded systems)
C++ Reflection Parser / Runtime Skeleton
- cmake
- libclang
- c-plus-plus
- meta
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
Unreal.hx: Haxe Integration for Unreal
An implementation of Python in Common Lisp
- common-lisp
- python
- compiler
The metalua programming language