egregius313

egregius313's Stars

• Fault-lang/examples

  Example specs in Fault

  Language:TLA2

• robherley/snips.sh

  ✂️ passwordless, anonymous SSH-powered pastebin with a human-friendly TUI and web UI

  Language:Go1k41

• fastapi/fastapi

  FastAPI framework, high performance, easy to learn, fast to code, ready for production

  Language:Python75.6k6.4k

• PyO3/pyproject-toml-rs

  pyproject.toml parser in Rust

  Language:Rust198

• PyO3/pyo3

  Rust bindings for the Python interpreter

  Language:Rust12k734

• PyO3/maturin

  Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages

  Language:Rust3.7k253

• mgdm/htmlq

  Like jq, but for HTML.

  Language:Rust7.1k110

• orf/html-query

  jq, but for HTML

  Language:HTML6266

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust96.8k12.5k

• jschauma/kv2json

  convert key‐value input to json

  Language:Perl1

• egregius313/qhelp-mode

  Emacs mode for CodeQL qhelp documentation files

  Language:Emacs Lisp1

• mislav/gh-repo-collab

  GitHub CLI extension to manage repository collaborators

  Language:Shell4810

• CleanCut/headtail

  head and tail simultaneously

  Language:Rust433

• CIELO-la/loteria

  A lotería game with multi-language support focused on enabling play in indigenous languages

  Language:JavaScript62

• joho/7XX-rfc

  An RFC for a new series of HTTP status codes covering developer fouls.

  Language:Makefile4.5k264

• rusterlium/rustler

  Safe Rust bridge for creating Erlang NIF functions

  Language:Rust4.3k224

• progfolio/doct

  DOCT: Declarative Org Capture Templates for Emacs

  Language:Emacs Lisp3758

• egregius313/org-agenda-category-icons

  Package for more easily defining org-agenda-category-icon-alist

  Language:Emacs Lisp111

• thma/LtuPatternFactory

  Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

  Language:Haskell98639

• hwayne/learntla-v2

  Learn TLA+ for free! No prior experience necessary!

  Language:TLA19540

• bytecodealliance/wasmtime

  A fast and secure runtime for WebAssembly

  Language:Rust15.1k1.3k

• elliot-wasem/Fireplace

  Animated ascii greeting card of a fireplace

  Language:C6

• fowlmouth/nake

  Describe your Nim builds as tasks

  Language:Nim14512

• ringabout/awesome-nim

  A curated list of awesome Nim frameworks, libraries, software and resources.

  Language:Nim1.1k66

• BartoszMilewski/Publications

  Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

  Language:Haskell1.2k34

• Shizcow/SOTCLK

  Sounds of the Compiling Linux Kernel: Interpreting interesting data as raw audio

  Language:Rust5

• lujun9972/podcaster

  Emacs podcast client

  Language:Emacs Lisp366

• fogleman/primitive

  Reproducing images with geometric primitives.

  Language:Go12.6k615

• Shizcow/hotpatch

  Changing function definitions at runtime in Rust

  Language:Rust1286

• chaos-mesh/chaos-mesh

  A Chaos Engineering Platform for Kubernetes.

  Language:Go6.7k826