parser for Google ProtocolBuffers definition
Repository Index
47,133 repositories indexed
49–72 of 165 · Most stars
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
The ultimate Python binding for Vulkan API
- vulkan
- python
A macro to define clojure functions with parameter pattern matching just like erlang or elixir.
- clojure
- defun
- pattern-matching
- clojure-functions
Go wrapper for the .NET Core Runtime.
- dotnet
- wrapper
- golang
- dotnet-core
The repository host gives no description.
a C# embeddable lexer and parser generator (.Net core)
- dot-net
- csharp
- parser
- lexer-generator
Universal cheminformatics toolkit, utilities and database search tools
- indigo
- bingo
- cheminformatics
- chemistry
Structured concurrency made easy
- concurrency
- golang
- goroutine
- structured-concurrency
A graphql query language and schema definition language parser and formatter for rust
- rust
- graphql-query-language
- graphql
- schema
Pattern Matcher Compatible with Optima
- pattern-matching
- common-lisp
Monad, Functional Programming features for Golang
- golang
- functional-programming
- functional-reactive-programming
- reactive
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
SquirrelJME is a Java ME 8 Virtual Machine for embedded and Internet of Things devices. It has the ultimate goal of being 99.9% compatible with the Java ME standard.
- squirreljme
- java
- java-me
- iot
Runtime parser for string expressions (formulas, method calls). Builds dynamic LINQ expression tree and compiles it to lambda delegate.
- evalexpr
- evaluator
- dot-net
- dotnetcore
Go bindings for unarr (decompression library for RAR, TAR, ZIP and 7z archives)
- tar
- rar-format
- 7zip
- golang-library
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Pattern matchings for Go.
- golang
- go
- pattern-matching
- golang-library
An experiment in adding functional pattern matching to JavaScript
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.
- regular-expression
- regexp
- regex
- code-generation