A graphql query language and schema definition language parser and formatter for rust
- rust
- graphql-query-language
- graphql
- schema
Repository Index
47,133 repositories indexed
121–144 of 253 · Most stars
PyStan, a Python interface to Stan, a platform for statistical modeling. Documentation: https://pystan.readthedocs.io
♻️ The most advanced interruptible mechanism to perform actions repetitively until successful.
- go
- library
- module
- retry
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
NASA PVS Library of Formal Developments
The project provides high-performance concurrency, enabling highly parallel computation.
A lightweight library for writing concurrent programs in Go using the Actor model.
- actor
- go-actor
- concurrency
- concurrent-programming
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
A GTK / Fortran binding, and its documentation (in the Wiki tab).
C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
- coroutines
- cpp
- cpp20
- lock-free
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.
- immutable
- typescript-definitions
- es2015-modules
- data-structures
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
High performance Transactional Memory for Common Lisp
A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
Elegance, high performance and robustness all in one java bean mapper
- annotations
- xml
- java
- jmapper
High performance System.Threading.(Value)Task computation expressions for F#
ReScript bindings for Formidable's Universal React Query Library, urql.
- reasonml
- graphql
- reasonreact
- bucklescript
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
- elixir
- persistent-vectors
- ordered-map
- util
Single-header c99 accelerated float/double parsing. Port of the fast_float library.
- c
- high-performance
- neon
- parsing