IETF QUIC library in Haskell. Contribute to kazu-yamamoto/quic development by creating an account on GitHub.
Quint, an executable specification language for reliable systems
Quint is an executable specification language. Write specs you can run, simulate, and verify, so subtle bugs get caught before reaching production.
Write You a Haskell ( Stephen Diehl )
bmillwood/bluesky-tools
Haskell library providing tools for working with the Bluesky social network / the AT protocol
QUIC API for Peer-to-peer Connections
This document defines a set of ECMAScript APIs in WebIDL to allow data to be sent and received from another browser or device implementing the QUIC protocol. The specification for multiplexing of QUIC with STUN/TURN/ZRTP/DTLS/RTP/RTCP [[RFC9443]] was developed within the IETF AVTCORE Working Group.
Live Coding with Quint
quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
GitHub - github/awesome-copilot: Community-contributed instructions, prompts, and configurations to help you make the most of GitHub Copilot.
Community-contributed instructions, prompts, and configurations to help you make the most of GitHub Copilot. - github/awesome-copilot
fx – a terminal JSON viewer & processor
A terminal viewer & processor for JSON, YAML, & TOML (TUI and CLI)
Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
ghc-plugin-core-of-name/README.md at main · ocramz/ghc-plugin-core-of-name
Output the Core of a given Haskell expression with a GHC plugin - ocramz/ghc-plugin-core-of-name
Implement QUIC and HTTP/3 in the browser for WebTransport
Implementing a Hindley-Milner Type System (Part 1) | Blog
First part of a tutorial on implementing a Hindley-Milner type system for a simple, purely functional programming language in Haskell. We go over syntax representation, how the Hindley-Milner type system is defined, polymorphism vs. monomorphism, generalization, and instantiation.
shady-gang
Home to the Shady IR and Vcc compiler. shady-gang has 17 repositories available. Follow their code on GitHub.
Patina: Turning Karpathy’s LLM Wiki Pattern into a Rust CLI
Useful, local, and slightly fun. There is a simple but important idea behind Andrej Karpathy’s LLM Wiki pattern: useful synthesis should not disappear into chat history.
Matter CLI - Matter Documentation
Terminal client for your Matter reading library — CLI mode for scripting and an interactive TUI for browsing.
