Stefano

EventSourcing.NodeJS. Examples and Tutorials of Event Sourcing in NodeJS

pglite. Embeddable Postgres with real-time, reactive bindings.

gpt-engineer. CLI platform to experiment with codegen. Precursor to: https://lovable.dev

act. Run your GitHub Actions locally 🚀

inspec-gcp. InSpec GCP (Google Cloud Platform) Resource Pack

git-filter-repo. Quickly rewrite git repository history (filter-branch replacement)

colima. Container runtimes on macOS (and Linux) with minimal setup

trie-perf. Performance shootout of various trie implementations

gto. 🏷️ Git Tag Ops. Turn your Git repository into Artifact Registry or Model Registry.

dvc. 🦉 Data Versioning and ML Experiments

cml. ♾️ CML - Continuous Machine Learning | CI/CD for ML

how-web-works. What happens behind the scenes when we type www.google.com in a browser?

awesome-api-devtools. :books: A collection of useful resources for building RESTful HTTP+JSON APIs.

API-Security-Checklist. Checklist of the most important security countermeasures when designing, testing, and releasing your API

awesome-public-datasets. A topic-centric list of HQ open datasets.

orgmk. Streamline your Org document exports to PDF, HTML, DOC, and more with OrgMk. Simplify document compilation and enhance productivity. #orgmode #productivity #automation

haskell-ci. Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

awesome-learning-haskell. A collection of resources which were useful to Tweagers for learning Haskell and its various aspects

ds-career-resources. Compilation of resources for aspiring data scientists

40-Algorithms-Every-Programmer-Should-Know. 40 Algorithms Every Programmer Should Know, published by Packt

tpot. A Python Automated Machine Learning tool that optimizes machine learning pipelines using genetic programming.

DAT8. General Assembly's 2015 Data Science course in Washington, DC

system-design-primer. Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

sha256_project. The SHA-256 Project, developed for NYU Tandon's Applied Cryptography course

awesome-tensorflow. TensorFlow - A curated list of dedicated resources http://tensorflow.org

models. Models and examples built with TensorFlow

cloud. ⛔️ DEPRECATED - The TensorFlow Cloud repository provides APIs that will allow to easily go from debugging and training your Keras and TensorFlow code in a local environment to distributed training in the cloud.

autokeras. AutoML library for deep learning

videos. Code for the manim-generated scenes used in 3blue1brown videos

deep-learning-with-python-notebooks. Jupyter notebooks for the code samples of the book "Deep Learning with Python"

nlp-datasets. Alphabetical list of free/public domain datasets with text data for use in Natural Language Processing (NLP)

ROS-Examples. Regression and other stories R examples

events-breakfast-demo. Demo to go with https://eggybits.com/posts/events-first 🍳🥞

awesome-engineering-management. Pointers and tools for learning and day-to-day practice of engineering management & leadership.

Introduction-To-Probability-Blitzstein-Solutions. Unofficial solutions for Introduction to Probability, Second Edition by Joseph Blitzstein and Jessica Hwang.

JaynesProbabilityTheory. Exercise solutions and explanations for the book Probability Theory: The Logic of Science by E.T. Jaynes. Created by the reading group at r/jaynesprobability

statrethink_course_in_pymc3. Statistical Rethinking course in pymc3

statrethinking_winter2019. Statistical Rethinking course at MPI-EVA from Dec 2018 through Feb 2019

croc. Easily and securely send things from one computer to another :crocodile: :package:

graphtage. A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.

servant-checked-exceptions. type-level errors for Servant APIs.

tldr. Collaborative cheatsheets for console commands 📚.

bookcision. HTML

archetype. Archetype IDL

oops. Classy error-handling (and dispatching!) in Haskell.

youtube-dl. Command-line program to download videos from YouTube.com and other video sites

aws-lambda-haskell-runtime. ⚡Haskell runtime for AWS Lambda

ex-hack. Example-based Haskell Documentation Engine

capability. Extensional capabilities and deriving combinators

optics-talk. What we talk about when we talk about optics

haskell-exercises. A little course to learn about some of the more obscure GHC extensions.

prelude. Prelude is an enhanced Emacs 29.1+ distribution that should make your experience with Emacs both more pleasant and more powerful.

alga. Algebraic graphs

hunspell. The most popular spellchecking library.

haskell-ide-engine. The engine for haskell ide-integration. Not an IDE

wire-server. 🇪🇺 Wire back-end services

milewski-ctfp-pdf. Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

bfg-repo-cleaner. Removes large or troublesome blobs like git-filter-branch does, but faster. And written in Scala

hs-jose. Haskell JOSE and JWT library

protolude. A sensible starting Prelude template.

fgl. A Functional Graph Library for Haskell

optparse-applicative. Applicative option parser

1HaskellADay. Haskell

weigh. Measure allocations of a Haskell functions/values

android-architecture-counter-sample. Sample app using Android architecture components

elm-spa-example. A Single Page Application written in Elm

functional-programming-in-elm. DRAFT outlining some techniques of functional programming

plt. Programming Language Theory λΠ

google-authenticator-android. Open source fork of the Google Authenticator Android app

scala-exercises. The easy way to learn Scala.

dictionaries. Benchmarks for dictionary data structures: hash tables, maps, tries, etc.

sequences. Benchmarks for sequence data structures: lists, vectors, etc.

scalameter. Microbenchmarking and performance regression testing framework for the JVM platform.

NetCipher. mirror of https://gitlab.com/guardianproject/NetCipher/

cats. Lightweight, modular, and extensible library for functional programming.

laverna. Laverna is a JavaScript note taking application with Markdown editor and encryption support. Consider it like open source alternative to Evernote.

SwiftPlate. Easily generate cross platform Swift framework projects from the command line

jeeveslib. Automatically exported from code.google.com/p/jeeveslib

jeeves. Python implementation of the Jeeves programming language.

yi. The Haskell-Scriptable Editor

openmrs-contrib-android-client. Android client for OpenMRS

solid-tutorial-intro. Introductory tutorial to Solid

solid. Solid - Re-decentralizing the web (project directory)

microscheme. A Scheme subset for Atmel microcontrollers.

dotfiles. Dotfiles for my bash/linux/osx setup

awesome-macos-command-line. Use your macOS terminal shell to do awesome things.

architecture-samples. A collection of samples to discuss and showcase different architectural tools and patterns for Android apps.

privacybadger. Privacy Badger is a browser extension that automatically learns to block hidden trackers

scheme. Write You a Scheme

chuck. An in-app HTTP inspector for Android OkHttp clients

Store. Android Library for Async Data Loading and Caching

glance. A visual Haskell

LambdaCalculusPlayground. An Android app that provides a visual interface for creating and evaluating lambda calculus expressions

mitzuli. The open, easy-to-use and powerful translator app for Android

docker-elm. Elm lang tools in a docker container

Shelly.hs. Haskell shell scripting

inline-java. Haskell/Java interop via inline Java code in Haskell modules.

ntfy. 🖥️📱🔔 A utility for sending notifications, on demand and when commands finish.

sdk. The Dartino project was an experiment seeking to improve productivity when writing application code for embedded devices.

elm-check. Property Based Testing in Elm

elm-testable. Makes Cmds and Tasks testable

elm-server-side-renderer. Render elm on the server

stgi. A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

alda. A music programming language for musicians. :notes:

haskino. Our Arduino experiments

dexcount-gradle-plugin. A Gradle plugin to report the number of method references in your APK on every build.

type-systems. Implementations of various type systems in OCaml.

frege. Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

ohm. A library and language for building parsers, interpreters, compilers, etc.

android-crop. Android library project for cropping images

gradle-retrolambda. A gradle plugin for getting java lambda support in java 6, 7 and android

retrolambda. Backport of Java 8's lambda expressions to Java 7, 6 and 5

Skoarcery. Skoar

Android-TextView-LinkBuilder. Insanely easy way to define clickable links within a TextView.

design. WebAssembly Design Documents

topeka. A fun to play quiz that showcases material design on Android

heroku-buildpack-haskell. Heroku buildpack for Haskell

anko. Pleasant Android application development

webogram. Telegram web application, GPL v3

haskell-on-heroku. Buildpack for deploying Haskell apps

gradle-play-publisher. GPP is Android's unofficial release automation Gradle Plugin. It can do anything from building, uploading, and then promoting your App Bundle or APK to publishing app listings and other metadata.

error-message-catalog. A catalog of broken Elm programs / data to improve error messages

echo. High performance, minimalist Go web framework

awesome-swift. A collaborative list of awesome Swift libraries and resources. Feel free to contribute!

Tidal. Pattern language

hugo. Annotation-triggered method call logging for your debug builds.

monicelli. An esoteric programming language, come se fosse antani.

fork. A library that offers the fastest way to execute Android instrumentation tests.

afterburner. A library to help other librairies getting rid of boiler plate via byte code manipulation. Works on Android too.

mimic. Mimicing is, indeed, kind of way to bypass java single inheritance paradigm. It allows to copy all declared fields, constructors and methods in a given class into another class.

jenv. Manage your Java environment

web-starter-kit. Web Starter Kit - a workflow for multi-device websites

battery-historian. Battery Historian is a tool to analyze battery consumers using Android "bugreport" files.

FloatingHints. Custom implementation of the Floating Label pattern

schematic. Automatically generate ContentProviders

ListViewAnimations. [DEPRECATED] An Android library which allows developers to easily add animations to ListView items

telescope. A simple tool to allow easy bug report capturing within your app.

motion. An Android library allowing images to exhibit a parallax effect that reacts to the device's tilt

Telegram. Telegram for Android source

Octopress-Theme-Slash. Slash — a minimal theme for Octopress

augment. The world's smallest and fastest classical JavaScript inheritance pattern.

muzei. Muzei Live Wallpaper for Android

ungit. The easiest way to use git. On any platform. Anywhere.

okhttp. A meticulous HTTP client for the JVM, Android, and GraalVM.

discrollview. Scroll + discover = DiscrollView

VerticalViewPager. Copy pasted version of the support ViewPager, but vertical!

Android-SwipeToDismiss. Android swipe-to-dismiss mini-library and sample code

SystemBarTint. [DEPRECATED] Apply background tinting to the Android system UI when using KitKat translucent modes

gradle. Adaptable, fast automation for all

supercollider. An audio server, programming language, and IDE for sound synthesis and algorithmic composition.

sprinkles. Sprinkles is a boiler-plate-reduction-library for dealing with databases in android applications

stalker. Stalker finds affected tests from source code changes

fest-assert-2.x. FEST Fluent Assertions 2.x

spock. The Enterprise-ready testing and specification framework.

RoboSpock. A testing framework which brings powers of Spock and Groovy to Android app testing

GlassActionBar. Android - a library that adds a glass-like effect to the action bar.

android-selector-chapek. Android Studio plugin which automatically generates drawable selectors from appropriately named resources.

VerticalViewPager. Vertical implementation of Android ViewPager

mirah. The Mirah Programming Language

gradle-android-test-plugin. [DEPRECATED] A Gradle plugin which enables good 'ol fashioned unit tests for Android builds.

android-stackblur. Android StackBlur is a library that can perform a blurry effect on a Bitmap based on a gradient or radius, and return the result. The library is based on the code of Mario Klingemann.

gradle-nexus-plugin. Gradle plugin for configuring and uploading artifacts to Sonatype Nexus

HttpResponseCache. Java

great-expectations. Jasmine-style expectations for Java

Synchronized-Scrolling. Android library for Synchronized Scrolling

boris. A tiny REPL for PHP

scribejava. Simple OAuth library for Java

bypass. Skip the HTML, Bypass takes markdown and renders it directly on Android and iOS.

ProviGen. Easily make a ContentProvider from an annotated ContractClass.

flask. The Python micro framework for building web applications.

android-sqlite-asset-helper. An Android helper class to manage database creation and version management using an application's raw asset files

android-betterpickers. [NO LONGER MAINTAINED] Android library for better Picker DialogFragments

NotificationLog. Use an expanded notification as a makeshift Android log output console

RefreshActionItem. Android - An action bar item which acts both as a refresh button and as a progress indicator

model-citizen. Annotation based model factory for Java

drag-sort-listview. Android ListView with drag and drop reordering.

RxJava. RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.

ormlite-core. Core ORMLite functionality that provides a lite Java ORM in conjunction with ormlite-jdbc or ormlite-android

Quality-Tools-for-Android. Java

PocketHub. PocketHub Android App

butterknife. Bind Android views and callbacks to fields and methods.

retrofit. A type-safe HTTP client for Android and the JVM

androiddev. Quick tips/tutorials for Android developers

astrid. Astrid: Android's #1 Task Management Application

JazzyViewPager. An easy to use ViewPager that adds an awesome set of custom swiping animations. Just change your ViewPagers to JazzyViewPagers, two more steps, and you're good to go!

Android-AnnotatedSQL. Android library for auto generating SQL schema and Content provider

dagger. A fast dependency injector for Android and Java.

javapoet. A Java API for generating .java source files.

android-times-square. Standalone Android widget for picking a single date from a calendar view.

twoway-view. [DEPRECATED] RecyclerView made simple

assertj-android. A set of AssertJ helpers geared toward testing Android.

smoothie. [DEPRECATED] Easy async loading for Android's ListView/GridView

CustomersChoice. This library can be used to make simple usability tests on live Android applications. So you can find the best choice, if you have two or more different solutions. The Customer chooses the best solution. For Example, if you want to know: if the red or blue purchase button creates more revenue.

UnifiedPreference. A convinience library for working with all versions of the Android Preference package from API v4 and up

robospice. Repo of the Open Source Android library : RoboSpice. RoboSpice is a modular android library that makes writing asynchronous long running tasks easy. It is specialized in network requests, supports caching and offers REST requests out-of-the box using extension modules.

tape. A lightning fast, transactional, file-based FIFO for Android and Java.

android-menudrawer. *DEPRECATED* A slide-out menu implementation, which allows users to navigate between views in your app.

coding-guidelines. The purpose of the 47 Degrees Coding Standards is to create a collaboration baseline; helpful for scenarios where many people are creating, modifying, and contributing to the same project. The end goal is unity, consistency, and the notion that a single entity created the outputted code.

android-formidable-validation. Form validation and feedback library for Android. Provides .setText for more than just TextView and EditText widgets. Provides easy means to validate with dependencies.

ShowcaseView. [Archived] Highlight the best bits of your app to users quickly, simply, and cool...ly