agro's repositories
adeli
A Deep Learning Library
awesome-elixir
A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things. Updates:
CatlikeCodingClock
Implementation of the tutorial http://catlikecoding.com/unity/tutorials/clock/
caustic-rs
Caustic is a Rust cryptocurrency library
cocos2d-iphone
cocos2d for iOS and OS X, built using Objective-C
explot
Elixir package to plot data using Python's Matplotlib
expyplot
Matplotlib for Elixir
instagram-php-scraper
Instagram PHP Scraper. Get account information, photos, videos and comments.
lean-proofs
Mathematical Proofs Written in Lean
libbitcoin
Bitcoin Cross-Platform C++ Development Toolkit
natural_number_game
Building the natural numbers in Lean.
phttpserver
Just for testing hosting a web page inside docker
plasma-chamber
Plasma Chamber is a DApps development framework that guarantees security, scalability, and usability utilizing Plasma technology.
programmingbitcoin
Repository for the book
prysm
Go implementation of Ethereum 2.0 - casper & sharding
PyDataStruct
Reimplementing popular data structures in Python
sicp-swift
Translation of "Structure and Interpretation of Computer Programs" to Swift.
SQLiteUnityKit
Framework to connect with a SQLite database from Unity for iOS, Android, MAC , Windows
stake_eth2
Guide to Staking Ethereum 2.0
TSMessages
💌 Easy to use and customizable messages/notifications for iOS à la Tweetbot
voting-demo
Voting app for Docker Cloud demos
xlsx-reader
The project xlsx-reader is a PHP library for fast and efficient reading of XLSX spreadsheet files (e.g. generated by Microsoft Excel). It delivers functionality to efficiently read in data contained within the given XLSX file, also for very big XLSX files in the magnitude of multiple GBs.