Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
Repository Index
47,133 repositories indexed
5,017–5,040 of 6,398 · Most stars
A Coreader-like Dependency Injection μFramework
- dependency-injection
- coreader
- functional-programming
- ios
Helpers & syntactic sugar for PySpark.
POTrace implementation in AS3
Personalized machine learning on the smartphone
- on-device
- deep-learning
- sensor-fusion
- activity-recognition
A fully functional, deployable marketplace implementation using Balanced API for Rails
A modern device detection and querying library.
- device-detection
- spm
- ios
- cocoa
Useful functions and extensions for sorting in Swift
Library for collecting application metrics in .NET and exporting them to Prometheus
- histogram
- metrics
- prometheus
- nuget
A collection of short notes about Nix, each contributing to the same virtual machine image
Analytical Django Apps. No JavaScript Required.
- dash
- plotly
- plotly-dash
- django-project
Build, test, deploy, iterate - Dev and prod tool for data science pipelines
- build-tool
- build-automation
- build-system
- data-science
A low distraction dark theme.
Database Abstraction Layer (dbal) for Go. Support SQL builder and get result easily (now only support mysql)
- golang
- dbal
- mysql
- sqlbuilder
Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption
- cryptography
- nettle
- encryption
- hash-algorithms
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
A collection of Scriptable widgets I've built.
- scriptable
- widgets
- ios-widget
- scriptable-widgets
HLS player for OSMF flash framework
Object-Oriented Programming in Functional Programming in Swift (4, I think)
A module for working with LDAP from Elixir
- ldap
- elixir
- active-directory
a lightweight c# library to access and control GoPro HERO Action cameras
fast, extensible, versatile event router for Suricata's EVE-JSON format
- suricata
- eve
- json
- golang
Build a Production-Ready Docker Swarm cluster using Ansible. The goal is rapidly bootstrap a Docker Swarm cluster with some essential services.
: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