Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
Repository Index
58,632 visible repositories in the index
4,537–4,560 of 5,591 · Most stars
BEAM friendly spinlocks for Elixir/Erlang
- concurrency
- concurrent-data-structure
- parallel-programming
Framework for dispatching various procedure on update application.
Bmessages.nvim better :messages window using an auto-updating buffer.
Counter caches for Rails computed from any block, such as conditional counts or sums, kept up to date by callbacks on any number of models and stored in a column, a shared counters table or your cache store. Recounts run after commit, so concurrent saves can't leave a stale value.
Analytical Django Apps. No JavaScript Required.
- dash
- plotly
- plotly-dash
- django-project
A blazing fast JSON Schema v4 validator!
Classification and Gradient-based Localization of Chest Radiographs using PyTorch.
- fine-tuning
- vgg16
- resnet18
- densenet121
Build, test, deploy, iterate - Dev and prod tool for data science pipelines
- build-tool
- build-automation
- build-system
- data-science
Stream JSON data based on various criteria (key, nesting level, etc).
- ruby
- ruby-gem
- json
- streamer
Lightweight DataFrame validation decorators for Pandas, Polars, Modin, and PyArrow. No custom types required.
Medeia JSON-Schema Validator
Database Abstraction Layer (dbal) for Go. Support SQL builder and get result easily (now only support mysql)
- golang
- dbal
- mysql
- sqlbuilder
Collect real-time transit data and process it into a retroactive GTFS 'schedule' which can be used for routing/analysis
- transit-data
- gtfs
- retroactive-gtfs
- gtfs-realtime
instrumented streams
Big Data Science Swiss Army Knife - http://www.tuktu.io --
An Erlang implementation of the R*-tree spacial data structure
Low-code database framework that fits your needs
Ruby wrapper for the Weaviate vector search database API
- api-client
- ruby
- vector-search
- weaviate
Generalized folds, unfolds, and traversals for fixed point data structures
Go's answer to pandas + scikit-learn: a batteries-included data analysis library with dataframes, statistics, machine learning, quant, and GPU acceleration. Run Python with seamless two-way variable sharing, or explore data straight from the Insyra CLI.
:chart_with_upwards_trend: A live cryptocurrency historical trade data blotter. Download live historical trade data from any cryptoexchange, be it for machine learning, backtesting/visualizing trading strategies or for Quantopian/Zipline.
- cryptocurrency
- exchange
- trade
- data
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Common Lisp CFFI wrapper around the DuckDB C API