ThreeFx

ThreeFx's Stars

• 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:Python47.4k8491012.2k

• qmk/qmk_firmware

  Open-source keyboard firmware for Atmel AVR and Arm USB families

  Language:C19.6k2393.4k42.6k

• dgrijalva/jwt-go

  ARCHIVE - Golang implementation of JSON Web Tokens (JWT). This project is now maintained at:

  Language:Go10.8k150315989

• sarabander/sicp

  HTML5/EPUB3 version of SICP

  Language:HTML4.5k11632612

• riverwm/river

  [mirror] A dynamic tiling Wayland compositor

  Language:Zig3.7k470154

• ghc/ghc

  Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

  Language:Haskell3.2k1410727

• ekmett/lens

  Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

  Language:Haskell2.1k66586274

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust2k25564120

• IntelLabs/flrc

  Haskell Research Compiler

  Language:Standard ML81939837

• lunixbochs/struc

  Better binary packing for Go

  Language:Go593147150

• benjojo/bgp-battleships

  Play battleships using BGP

  Language:Go43712017

• recursion-schemes/recursion-schemes

  Generalized bananas, lenses and barbed wire

  Language:Haskell351187161

• waylaidwanderer/FicSave

  This is the repo for FicSave, an open-source online fanfiction downloader.

  Language:JavaScript1943122743

• SanseroGames/LetsGo-OS

  An operating system written in Go

  Language:Go1294010

• ekmett/bound

  Combinators for manipulating locally-nameless generalized de Bruijn terms

  Language:Haskell124173530

• TwoFX/sudoku

  A sudoku game where you have to prove that your deductions are valid

  Language:Lean116248

• haskell/rfcs

  This repo is archived, consider using https://github.com/ghc-proposals/ghc-proposals instead

  Language:TeX9972417

• agausmann/perftree

  Perft debugger. Compare your chess engine's move generation to Stockfish

  Language:Rust752144

• mrossinek/cobib

  Console Bibliography

  Language:Python65303

• opencompl/lean-mlir-old

  embedding MLIR in LEAN

  Language:Lean474174

• noschinl/cyp

  Checker for "morally correct" induction proofs about haskell programs

  Language:Haskell2951710

• m-fleury/isabelle-emacs

  Clone of isabelle, with LSP extensions in seperate branches

  Language:Isabelle283845

• anothertobi/viseca-exporter

  Gets transactions as CSV and other data from Viseca One

  Language:Go26379

• resulknad/networks2tester

  Unofficial tester for second networks project. It constructs a graph, runs dijkstra on it and checks your implementation (whether all your next_hops are correct).

  Language:Go8054

• SEL4PROJ/tlb

  Formal Isabelle/HOL model of the ARMv7 TLB

  Language:Isabelle3703

• SOSETH/local-ca

  Ansible role for a local CA

  Language:Jinja3643

• F1rst-Unicorn/stocks

  Manage your household's stocks

  Language:Java2490

• SOSETH/monitoring-base

  Language:Jinja2702

• SOSETH/monitoring-server

  Language:Jinja2602

• SOSETH/haproxy

  Language:HTML1512