pbardea

Paul Bardea's starred repositories

twirp

A simple RPC framework with protobuf service definitions

Language:GoApache-2.0697800

Haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Language:HaskellBSD-3-Clause422900

profile-summary-for-github

Tool for visualizing GitHub profiles

Language:VueApache-2.01981800

MonkeyType

A Python library that generates static type annotations by collecting runtime types

Language:PythonNOASSERTION457700

calder-legacy

A library for safely constructing and integrating WebGL shaders

Language:ScalaMIT500

ipynb_playground

Various ipython notebooks

Language:Jupyter Notebook154200

futureofse

Polling system for getting feedback on SE curriculum changes

Language:CSSMIT200

trial-and-error

Reinforcement learning for flappy bird

Language:Python100

checker-framework

Pluggable type-checking for Java

Language:JavaNOASSERTION99100

Son

Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json

Language:Haskell35800

calder-prototype

A library for safely constructing and integrating WebGL shaders

Language:TypeScriptMIT300

concurrency-primer

The basics of low-level concurrency in a sub-30 minute read

Language:TeXNOASSERTION15300

plex

The package of IBM’s typeface, IBM Plex.

Language:CSSOFL-1.1938900

concurrent-locking

Software and Hardware C-language Locking Algorithms and Implementations

Language:C3800

uCPP

concurrency for C++

Language:C++14800

pytudes

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Language:Jupyter NotebookMIT2248200

meili

Travel planning app, to travel with friends without the headache of planning with them.

Language:JavaScript100

awesome-language-engineering

✨ A curated list of useful resources for computer language engineering and theory

CC0-1.025600

infer

A static analyzer for Java, C, C++, and Objective-C

Language:OCamlMIT1477000

cockroach

CockroachDB - the open source, cloud-native distributed SQL database.

Language:GoNOASSERTION2936500

facets

Visualizations for machine learning datasets

Language:Jupyter NotebookApache-2.0733300

security-txt

A proposed standard that allows websites to define security policies.

Language:HTMLNOASSERTION176300

darwin-xnu

Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu

Language:CNOASSERTION1091900

inter

The Inter font family

Language:PythonOFL-1.11714100

rsc

Experimental Scala compiler focused on compilation speed

Language:ScalaApache-2.0124300

capybara

Acceptance test framework for web applications

Language:RubyMIT998000

learn-regex

Learn regex the easy way

MIT4524300

tinychain

A pocket-sized implementation of Bitcoin

Language:PythonMIT144100

awesome-deep-learning-papers

The most cited deep learning papers

Language:TeX2521100

gallery

Visual Portfolio Generator with no extra installation

Language:JavaScriptMIT35300