An open-source C++ library developed and used at Facebook.
Repository Index
47,133 repositories indexed
1–24 of 29 · 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.
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
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
An implementation of Python in Common Lisp
- common-lisp
- python
- compiler
The metalua programming language
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
An implementation of IO, Stream, Fiber for golang inspired by cats and fs2
Wrap existing D code for use in Python, Excel, C#
- python
- dlang
- excel
- data-science
The Penn Locally Nameless Metatheory Library
Tiny DSL for idiomatic date parsing and formatting in Ruby
- ruby
- dsl
- date
- syntax-sugar