berdario's Stars
tauri-apps/tauri
Build smaller, faster, and more secure desktop applications with a web frontend.
kovidgoyal/kitty
Cross-platform, fast, feature-rich, GPU based terminal
winsiderss/systeminformer
A free, powerful, multi-purpose tool that helps you monitor system resources, debug software and detect malware. Brought to you by Winsider Seminars & Solutions, Inc. @ http://www.windows-internals.com
nostr-protocol/nostr
a truly censorship-resistant alternative to Twitter that has a chance of working
jaymody/picoGPT
An unnecessarily tiny implementation of GPT-2 in NumPy.
nmattia/niv
Easy dependency management for Nix projects
twitter/rezolus
Systems performance telemetry
EtherDream/web2img
Bundle web files into a single image
nix-community/dream2nix
Simplified nix packaging for various programming language ecosystems [maintainer=@DavHau]
nix-community/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis,@cpcloud]
nix-community/nix-index
Quickly locate nix packages with specific files [maintainers=@bennofs @figsoda @raitobezarius]
mimoo/Diffie-Hellman_Backdoor
How to backdoor Diffie-Hellman
stepchowfun/typical
Data interchange with algebraic data types.
google/ukip
USB Keystroke Injection Protection
ahinchman1/Kotlin-Compiler-Crash-Course
A repository of helpful sources to figure out what the Kotlin compiler really is
stedolan/counterexamples
Counterexamples in Type Systems
NorfairKing/haskell-dangerous-functions
Documentation about Haskell's dangerous functions and a hlint config file to warn about them
madaidans-insecurities/madaidans-insecurities.github.io
flora-pm/flora-server
A package index for the Haskell ecosystem
jcpetruzza/barbies
juspay/euler-hs
EulerHS: full-fledged framework for creating web backends
NorfairKing/haskell-WAT
A collection of Haskell's WATs
nikita-volkov/jsonifier
Fast and simple JSON encoding toolkit
kowainik/eio
🎯 IO with Exceptions tracked on the type-level
matthias-vogt/tab-limiter
Limit the number of open tabs in chrome
rascal999/maxos
Pentest focused NixOS config
sdiehl/dotfiles
My config files
AllThing/socat_backdoor
How to backdoor Diffie-Hellman, lessons learned from the Socat non-prime prime
circuithub/nix-buildkite-buildkite-plugin
A Buildkite plugin to generate a pipeline from a Nix expression
aftok/aftok