TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
Repository Index
47,133 repositories indexed
121–144 of 236 · Most stars
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.
Strip console, alert, and debugger statements from JavaScript code
- gulp-plugin
- nodejs
- javascript
- strip
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
Clojure's data structures modified for use outside of Clojure
Ruby wrapper for Apache Spark
- ruby
- spark
- ruby-spark
- distributed
Finger Tree data structure
Flexible regular expressions constructor for Golang.
- builder-pattern
- constructor
- go
- golang
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
Gostradamus: Better DateTimes for Go 🕰️
- golang
- datetime
- date
- time
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.
- go
- golang
- type
- struct
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
A lightweight lexical string parser for BBCode styled markup.
- decoda
- bbcode
- bbcode-parser
- hooks
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
An extended core library for F#.
- fsharp
- performance
- csharp
- immutable
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Hooks for Yew, inspired by streamich/react-use and alibaba/hooks.
- yew
- rust
- react
- hooks
A Go port of the Java Streams API. Type-safe and functional Go Streams processing
- golang
- go
- stream-processing
- generics
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
Abstract Syntax Tree for parsing schema.prisma files
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
PHP Iteration Tools Library
- php-library
- php
- iterator
- iterable