supermaciz's Stars
tauri-apps/tauri
Build smaller, faster, and more secure desktop applications with a web frontend.
Orange-OpenSource/hurl
Hurl, run and test HTTP requests with plain text.
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
python-jsonschema/jsonschema
An implementation of the JSON Schema specification for Python
errata-ai/vale
:pencil: A markup-aware linter for prose built with speed and extensibility in mind.
ankitpokhrel/jira-cli
🔥 Feature-rich interactive Jira command line.
mvdan/gofumpt
A stricter gofmt
supabase-community/postgres_lsp
A Language Server for Postgres
aya-rs/aya
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
microsoft/restler-fuzzer
RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
foniod/redbpf
Rust library for building and running BPF/eBPF modules
woutdp/live_svelte
Svelte inside Phoenix LiveView with seamless end-to-end reactivity
mrjones2014/smart-splits.nvim
🧠 Smart, seamless, directional navigation and resizing of Neovim + terminal multiplexer splits. Supports tmux, Wezterm, and Kitty. Think about splits in terms of "up/down/left/right".
rust-lang/datafrog
A lightweight Datalog engine in Rust
zaghaghi/openapi-tui
Terminal UI to list, browse and run APIs defined with openapi spec.
ichiban/prolog
The only reasonable scripting engine for Go.
riot-ml/riot
An actor-model multi-core scheduler for OCaml 5 🐫
bergercookie/syncall
Bi-directional synchronization between services such as Taskwarrior, Google Calendar, Notion, Asana, and more
kaspermarstal/plprql
Use PRQL in PostgreSQL
DSLsofMath/DSLsofMath
Domain-Specific Languages of Mathematics
LaihoE/demoparser
Counter-Strike 2 replay parser for Python and JavaScript
lac-dcc/honey-potion
Writing eBPF programs with Elixir!
acalejos/merquery
Interactive HTTP Client for Livebook w/ power-ups
E-xyza/Exonerate
JSONSchema -> Elixir code generator
saul/demofile-net
Blazing fast cross-platform demo parser library for Counter-Strike 2, written in C#.
sourcemeta/alterschema
Convert between JSON Schema specification versions
liveview-native/phoenix-channels-client
An async-ready Phoenix Channels v2 client library in Rust
maiermic/reveal-md-mermaid-animation-example
Example of how to animate mermaid diagrams in reveal-md using fragments
sam-ai56/gsi-cs2-rs
Ready-to-use structures for serializing data from Counter Strike 2 GSI