A fast and efficient type assistant for Python, including tensor shape inference
- python
- typing
Repository Index
47,133 repositories indexed
49–72 of 96 · Most stars
GtkD is a D binding and OO wrapper of GTK+ originally created by Antonio Monteiro
Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land
- promise
- fantasy-land
- async
- asynchronous
ClojureScript library for Ant Design React UI components
- clojurescript
- reagent
- rum
- reagent-components
JavaScript Engine for .NET
- netcore
- standard
- csharp
- csharp-library
Pattern matchings for Go.
- golang
- go
- pattern-matching
- golang-library
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
A Clojurey wrapper around the Lanterna terminal output library.
- terminal
- clojure
- clojure-library
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Ada semantic analysis library.
The asynchronous version of Elixir's "with", resolving the dependency graph and executing the clauses in the most performant way possible!
- elixir
- async
A library of mechanised undecidability proofs in the Coq proof assistant.
A fast, purely functional data structure library in Common Lisp.
Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data
CMake precompiled header support via custom PCH compiler extension
- cmake
- cmake-precompiled-headers
- clang
- gcc
The repository host gives no description.
Fast Ruby FFI string edit distance algorithms
TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.
A PEG parser/transformer with a pleasant Elixir DSL.
a tool for handling file uploads simple
- file
- upload
- multipart
- http
PHP bindings for Tarantool Queue.
Simple and performant utilies using Go generics inspired by JavaScript and Python
- golang
- go
- utilities
- generics
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
Clojure wrapper for the Tesseract OCR software