Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Repository Index
47,133 repositories indexed
1–24 of 27 · Most stars
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
C++ Parallel Computing and Asynchronous Networking Framework
Rayon: A data parallelism library for Rust
A General-purpose Task-parallel Programming System in C++
- parallel-programming
- threadpool
- concurrent-programming
- high-performance-computing
HVM1 (2022): a massively parallel, optimal functional runtime in Rust
NumPy aware dynamic Python compiler using LLVM
ILGPU JIT Compiler for high-performance .Net GPU programs
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
A modern C++ CSV parser and serializer that doesn't make you choose between ease of use or performance.
Fast CSV parser and writer for Modern C++
- csv-parser
- single-threaded
- mit-license
- header-only
A simple to use, composable, command line parser for C++ 11 and beyond
- cpp
- cpp11
- cpp14
- cpp17
A parser and formatter for delimiter-separated values, such as CSV and TSV.
:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
- programming-language
- language
- programming-paradigms
- repl
A formalization of geometry in Coq based on Tarski's axiom system
Python parser and tools for MUSDB18 Music Separation Dataset
- dataset
- python
- sisec
- musdb
A library for performing and validating complex filters from a client (e.g. smart filters)
- filter
- parsing
- comparator
- parsing-filters
A realtime visual programming language for interactive media.
✨🐌 🐎✨ fastest npm scripts runner
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
Parameter Optimization for Lean Algorithms
- lean
- optimization
- blazor
- sharpe-ratio
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library