foxx3r

system-design-primer

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

mkcert

A simple zero-config tool to make locally trusted development certificates with any names you'd like.

memcached

memcached development tree

decimal.js

An arbitrary-precision Decimal type for JavaScript

recursos-gratuitos

Coleção com links para desenvolvimento

prest

PostgreSQL ➕ REST, low-code, simplify and accelerate development, ⚡ instant, realtime, high-performance on any Postgres application, existing or new

FStar

A Proof-oriented Programming Language

shc

Shell script compiler

essays

A few essays on communism

quote

Rust quasi-quoting

coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

muon

Modern low-level programming language

tasty

Modern and extensible testing framework for Haskell

women-teaching-tech

Uma lista de canais ou cursos sobre tecnologia feitos por mulheres.

agda-categories

A new Categories library for Agda

rust-book-pt-br

A Linguagem de Programação Rust

elpi

Embeddable Lambda Prolog Interpreter

quic

QUIC protocol for Erlang & Elixir

postgresql-ocaml

OCaml-bindings for the PostgreSQL database

kapable.github.io

K-Test: Personality Test Platform with React

cm

Common Music 2.12 by Rick Taube. Also check out the related cm-incudine, cm-fomus, cm-utils and cm-svg repos here.

youtube-liberation

Chrome extension to liberate you from the infinite distraction cycle of YouTube.

isomorphic-js-esmodules-yt

Symbolic_Math

This is a simple Common Lisp program that perform simple calculus calculations.

shForth

Forth in Shell.

monisapp

st

my own fork of st with patchs

DarkOS-ASM

DarkOS system written in ASM

haskell-lua

Minimal Lua interpreter implemented in haskell

dio_instaclone

instagram-alike project for Digital Innovation One about flexbox