Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
Repository Index
47,133 repositories indexed
97–120 of 356 · Most stars
Go bindings for Lua C API - in progress
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
Linq for list comprehension in C++
- linq
- c-plus-plus
- cpp
- cpp11
Echarts 5 for R
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
WLA DX - Yet Another ANSI C GB-Z80/Z80/Z80N/eZ80/6502/65C02/65CE02/65816/68000/6800/6801/6809/8008/8080/HUC6280/SPC-700/SuperFX/Cx4/SH-2 Multi Platform Cross Assembler Package
C++11 thread-safe container for sharing data between threads (synchronized queue)
- cpp
- multithreading
- thread-safe
- channel
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
This project brings FlatBuffers (an efficient cross platform serialization library) to Swift.
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
- programming-language
- lisp
- malbolge
- esoteric
Lanes is a lightweight, native, lazy evaluating multithreading library for Lua 5.1 to 5.5.
A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.
- functional-programming
- lazy-evaluation
- golang-library
- golang
Lossless compression C library built for ultra-fast decode. Faster than LZ4 (+35% to 105%+; best on ARM64), at a better ratio. Official Rust, Python, Node.js, Go and WASM bindings. Write-once/read-many, with optional seekable archives for O(1) random access.
- arm64
- c
- compression
- lz4
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
Library for creating DotNet Web Worker threads/multithreading in Client side Blazor
- blazor
- web-worker
- backgroundservice
- worker-process
A modern supercompiler for call-by-value functional languages
A wrapper for Apple's Common Crypto library written in Swift.
A library for converting various objects into `Money` objects.
OCaml bindings for PyTorch
Java utilities: DeepEquals, Converter, LRUCache, CompactMap/Set, CaseInsensitiveMap, UniqueIdGenerator, FastReader/Writer, and more. Zero dependencies, JDK 8+
A high-level assembly language for writing homebrew software and games on retro console platforms.
Asyncio (pep 3156) integration with ZeroMQ
- asyncio
- zeromq
- zmq