💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)
- lodash
- golang
- go
- generics
Repository Index
47,133 repositories indexed
1–24 of 54 · Most stars
Python wrapper for TA-Lib (http://ta-lib.org/).
- ta-lib
- pattern-recognition
- python
- technical-analysis
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
A modern Go utility library which provides helpers (map, find, contains, filter, ...)
Database Markup Language (DBML), designed to define and document database structures
- dbx
- database-schema
- dbml
Wonderful reusable code from Twitter
- finagle
- scala
- utility
Plotly for Rust
- plot
- rust
- chart
- financial
Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.
- typescript
- typescript-library
- typescript-definitions
- functional-programming
DFA regular expression library & friends
- fsm
- regex
- lexer-generator
- regexp
Sail architecture definition language
🚀 fast JavaScript 4 Eclipse Vert.x
- vertx
- language-support
- javascript
- typescript
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
- functional-programming
- category-theory
- functor
- monad
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
parser for Google ProtocolBuffers definition
A macro to define clojure functions with parameter pattern matching just like erlang or elixir.
- clojure
- defun
- pattern-matching
- clojure-functions
A small JavaScript library for defining and using union types.
Macros for defining monads, and definition of the most common monads
The Ott tool for writing definitions of programming languages and calculi
XSD (XML Schema Definition) parser and Go/C/Java/Rust/TypeScript code generator
- xsd
- xsd-schema
- xml
- xml-parser
A graphql query language and schema definition language parser and formatter for rust
- rust
- graphql-query-language
- graphql
- schema
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
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
A concise language for sketching ASCII art.
- esoteric-language
- ascii-art
- golfing-language