danieldroit

danieldroit's Stars

• ligurio/practical-fm

  A gently curated list of companies using verification formal methods in industry

  50438

• minimaxir/big-list-of-naughty-strings

  The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

  Language:Python46.2k2.1k

• nbedos/termtosvg

  Record terminal sessions as SVG animations

  Language:Python9.7k436

• glorious-codes/glorious-demo

  The easiest way to demonstrate your code in action.

  Language:JavaScript3.4k108

• akveo/eva-icons

  A pack of more than 480 beautifully crafted Open Source icons. SVG, Sketch, Web Font and Animations support.

  Language:TypeScript8.6k363

• marcbelmont/cnn-watermark-removal

  Fully convolutional deep neural network to remove transparent overlays from images

  Language:Python1.3k226

• DmitryUlyanov/deep-image-prior

  Image restoration with neural networks but without learning.

  Language:Jupyter Notebook7.9k1.4k

• avantgardnerio/depends

  The missing linker for the JVM.

  Language:Kotlin43815

• microsoft/ProcDump-for-Linux

  A Linux version of the ProcDump Sysinternals tool

  Language:C3k308

• akavel/up

  Ultimate Plumber is a tool for writing Linux pipes with instant live preview

  Language:Go8.4k129

• nikitavoloboev/config

  Apps/CLIs/configs I use on macOS/iOS. Fish, Karabiner, Cursor..

  Language:Shell20.6k839

• basecamp/trix

  A rich text editor for everyday writing

  Language:JavaScript19.1k1.1k

• enochtangg/quick-SQL-cheatsheet

  A quick reminder of all SQL queries and examples on how to use them.

  4.9k720

• matiassingers/awesome-readme

  A curated list of awesome READMEs

  18.3k3.8k

• KonstantinSchubert/zero

  Local file system transparently swapping to the cloud

  Language:Python77421

• sharkdp/bat

  A cat(1) clone with wings.

  Language:Rust49.9k1.3k

• trimstray/test-your-sysadmin-skills

  A collection of Linux Sysadmin Test Questions and Answers. Test your knowledge and skills in different fields with these Q/A.

  10.8k1.4k

• green-coder/transducer-exercises

  Learn how to write your own transducers. A complement from my blog post serie "Build Your Own Transducer and Impress Your Cat".

  Language:Clojure18

• hwayne/awesome-cold-showers

  For when people get too hyped up about things

  7.3k81

• serhii-londar/open-source-mac-os-apps

  🚀 Awesome list of open source applications for macOS. https://t.me/s/opensourcemacosapps

  41.9k2.3k

• gnl/ghostwheel

  Hassle-free inline clojure.spec with semi-automatic generative testing and side effect detection

  Language:Clojure60314

• furnishup/blueprint3d

  Build interior spaces in 3D

  Language:TypeScript1.8k537

• juxtin/clj-bob

  The J-Bob proof assistant from The Little Prover in Clojure

  Language:Clojure617

• hwayne/lets-prove-leftpad

  Proving leftpad correct two-dozen different ways

  Language:SystemVerilog65062

• niklasfasching/yadat

  datomic/datascript inspired. yet another dat(om-database)

  Language:Clojure3

• stereobooster/react-ideal-image

  🖼️ An Almost Ideal React Image Component

  Language:JavaScript3.3k73

• isomorphic-git/isomorphic-git

  A pure JavaScript implementation of git for node and browsers!

  Language:JavaScript7.5k380

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown315k29.2k

• hendricius/the-bread-code

  Learn how to master the art of baking the programmer way.

  Language:Shell4.1k179

• linkedin/css-blocks

  High performance, maintainable stylesheets.

  Language:TypeScript6.3k152