sigriston

sigriston's Stars

• littlefs-project/littlefs

  A little fail-safe filesystem designed for microcontrollers

  Language:C5.3k809

• typestack/class-transformer

  Decorator-based transformation, serialization, and deserialization between objects and classes.

  Language:TypeScript7k507

• typestack/class-validator

  Decorator-based property validation for classes.

  Language:TypeScript11.1k808

• seemoo-lab/opendrop

  An open Apple AirDrop implementation written in Python

  Language:Python8.8k274

• MicheleBertoli/css-in-js

  React: CSS in JS techniques comparison

  Language:JavaScript5.5k288

• dsherret/ts-nameof

  nameof in TypeScript

  Language:TypeScript49322

• cevek/ttypescript

  Over TypeScript tool to use custom transformers in the tsconfig.json

  Language:TypeScript1.5k56

• coq-community/fourcolor

  Formal proof of the Four Color Theorem [maintainer=@ybertot]

  Language:Coq18222

• MJoergen/nexys4ddr

  Various projects for the Nexys4DDR board from Digilent

  Language:VHDL12714

• emilybache/GildedRose-Refactoring-Kata

  Starting code for the GildedRose Refactoring Kata in many programming languages.

  Language:C++3.8k5.3k

• NotMyself/GildedRose

  Refactoring Kata

  Language:C#403381

• shajra/nix-example

  a way to develop software with Nix

  Language:Nix33424

• basarat/typescript-book

  :books: The definitive guide to TypeScript and possibly the best TypeScript book :book:. Free and Open Source 🌹

  Language:TypeScript20.9k2.6k

• machakann/vim-sandwich

  Set of operators and textobjects to search/select/edit sandwiched texts.

  Language:Vim Script1.4k37

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k658

• FormidableLabs/spectacle

  A React-based library for creating sleek presentations using JSX syntax that gives you the ability to live demo your code.

  Language:TypeScript9.8k694

• diem/diem

  Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

  Language:Rust16.7k2.6k

• nodeca/pica

  Resize image in browser with high quality and high speed

  Language:JavaScript3.8k248

• emotion-js/emotion

  👩‍🎤 CSS-in-JS library designed for high performance style composition

  Language:JavaScript17.6k1.1k

• prompt-toolkit/ptpython

  A better Python REPL

  Language:Python5.2k284

• wsvincent/awesome-django

  A curated list of awesome things related to Django

  Language:HTML9.7k1.3k

• rmcelreath/statrethinking_winter2019

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

  2k392

• pazz/alot

  Terminal-based Mail User Agent

  Language:Python706164

• MagicStack/uvloop

  Ultra fast asyncio event loop.

  Language:Cython10.5k551

• python-attrs/attrs

  Python Classes Without Boilerplate

  Language:Python5.3k379

• cool-RR/PySnooper

  Never use print for debugging again

  Language:Python16.4k956

• HypothesisWorks/hypothesis

  Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

  Language:Python7.6k588

• seebye/ueberzug

  1.3k126

• aio-libs/aiohttp-sse

  Server-sent events support for aiohttp

  Language:Python20535

• visit1985/mdp

  A command-line based markdown presentation tool.

  Language:C5k257