Starred repositories
kazu-yamamoto / crypton
Forked from haskell-crypto/cryptonitelowlevel set of cryptographic primitives for haskell
Auto Generated Haskell Library for Stripe
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Minimal implementations for dependent type checking and elaboration
Autoresearch for GPU kernels. Give it any PyTorch model, go to sleep, wake up to optimized Triton kernels.
An incremental parsing system for programming tools
🐜 An ecosystem of Vim/Neovim which allows developers to write cross-platform plugins in Deno
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
A comprehensive tutorial for the Idris2 programming language
An interpreter of Hagino's Categorical Programming Language (CPL).
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Industrial-strength monadic parser combinator library
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
A fast, flexible, fused effect system for Haskell
A performant, declarative, and runtime-flexible web framework for Rust
Type-safe search params state manager for React frameworks - Like useState, but stored in the URL query string.
Hera makes Python code easy to orchestrate on Argo Workflows through native Python integrations. It lets you construct and submit your Workflows entirely in Python. ⭐️ Remember to star!
Bartosz Milewski's 'Category Theory for Programmers' unofficial markdown source