foxx3r

foxx3r's Stars

• donnemartin/system-design-primer

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

  Language:Python279k6.6k30846.7k

• FiloSottile/mkcert

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

  Language:Go51.2k4853392.7k

• memcached/memcached

  memcached development tree

  Language:C13.6k6865053.3k

• MikeMcl/decimal.js

  An arbitrary-precision Decimal type for JavaScript

  Language:JavaScript6.5k74192475

• iuricode/recursos-gratuitos

  Coleção com links para desenvolvimento

  Language:HTML4.9k11514381

• prest/prest

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

  Language:Go4.2k85404283

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k802k234

• neurobin/shc

  Shell script compiler

  Language:C2k78132350

• dessalines/essays

  A few essays on communism

  Language:SCSS1.5k86108172

• dtolnay/quote

  Rust quasi-quoting

  Language:Rust1.3k1715789

• coalton-lang/coalton

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

  Language:Common Lisp1.2k3143070

• nickmqb/muon

  Modern low-level programming language

  Language:C773273225

• UnkindPartition/tasty

  Modern and extensible testing framework for Haskell

  Language:Haskell64215252110

• ComunidadeCafeina/women-teaching-tech

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

  53819690

• agda/agda-categories

  A new Categories library for Agda

  Language:Agda3702115668

• rust-br/rust-book-pt-br

  A Linguagem de Programação Rust

  Language:Rust360217087

• LPCIC/elpi

  Embeddable Lambda Prolog Interpreter

  Language:Prolog2901212036

• emqx/quic

  QUIC protocol for Erlang & Elixir

  Language:Erlang227266337

• kapable/kapable.github.io

  K-Test: Personality Test Platform with React

  Language:JavaScript1414639

• mmottl/postgresql-ocaml

  OCaml-bindings for the PostgreSQL database

  Language:OCaml14192523

• ormf/cm

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

  Language:Common Lisp25718

• wwsalmon/youtube-liberation

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

  Language:JavaScript170185

• ErickWendel/isomorphic-js-esmodules-yt

  Language:JavaScript6301

• George056/Symbolic_Math

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

  Language:Common Lisp4100

• zeldin/shForth

  Forth in Shell.

  Language:Shell4

• gugahoa/monisapp

  Language:Elixir3301

• haller33/st

  my own fork of st with patchs

  Language:C2200

• JoaoHappy/DarkOS-ASM

  DarkOS system written in ASM

  Language:Assembly20

• Doxterpepper/haskell-lua

  Minimal Lua interpreter implemented in haskell

  Language:Haskell1100

• vlaskz/dio_instaclone

  instagram-alike project for Digital Innovation One about flexbox

  Language:CSS10