luisobo

dist-prog-book

layout

A declarative UI framework for iOS

klee

KLEE Symbolic Execution Engine

DSALs

category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

Rezoom.SQL

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

incremental-swift

Cosette

Cosette is an automated SQL solver.

project-guidelines

A set of best practices for JavaScript projects

gun

An open source cybersecurity protocol for syncing decentralized graph data.

Projects

:page_with_curl: A list of practical projects that anyone can solve in any programming language.

react-page

Next-gen, highly customizable content editor for the browser - based on React and written in TypeScript. WYSIWYG on steroids.

clay

Golem is creating a global market for computing power.

este

This repo is suspended.

graphql-java

GraphQL Java implementation

timescaledb

An open-source time-series SQL database optimized for fast ingest and complex queries. Packaged as a PostgreSQL extension.

ParlAI

A framework for training and evaluating AI models on a variety of openly available dialogue datasets.

lucida

Speech and Vision Based Intelligent Personal Assistant

badwolf

Temporal graph store abstraction layer.

graal

GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

esversioning__basic_type_based_versioning

Simulation of the ES system evolution with basic type based versioning of events

pgql-lang

PGQL is an SQL-based query language for property graphs

spoofax

Spoofax runtime

sudolikeaboss

Get 1password access from iterm2

streisand

Streisand sets up a new server running your choice of WireGuard, OpenConnect, OpenSSH, OpenVPN, Shadowsocks, sslh, Stunnel, or a Tor bridge. It also generates custom instructions for all of these services. At the end of the run you are given an HTML file with instructions that can be shared with friends, family members, and fellow activists.

soot

Soot - A Java optimization framework

antidote

A planet scale, highly available, transactional database built on CRDT technology

maelstrom

A workbench for writing toy implementations of distributed systems.

erleans

Erlang Orleans

virtualization-lms-core

A Framework for Runtime Code Generation and Compiled DSLs