aaronallen8455

aaronallen8455's Stars

• ynqa/jnv

  Interactive JSON filter using jq

  Language:Rust4.8k152952

• rkyv/rkyv

  Zero-copy deserialization framework for Rust

  Language:Rust2.9k20402168

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.4k38398314

• renderlet/wander

  wander - the Wasm Renderer

  Language:C67411614

• smoka7/multicursors.nvim

  A multi cursor plugin for Neovim.

  Language:Lua46563915

• mrcjkb/haskell-tools.nvim

  🦥 Supercharge your Haskell experience in neovim!

  Language:Lua459411117

• ImperialCollegeLondon/FLT

  Ongoing Lean formalisation of the proof of Fermat's Last Theorem

  Language:Lean202111039

• leanprover-community/aesop

  White-box automation for Lean 4

  Language:Lean19176026

• leanprover-community/lean4game

  Server to host lean games.

  Language:TypeScript174922229

• ccz181078/Coq-BB5

  Language:Coq153634

• josephsumabat/static-ls

  Language:Haskell12051213

• leanprover-community/NNG4

  Natural Number Game

  Language:Lean104104633

• blarney-lang/blarney

  Haskell library for hardware description

  Language:Haskell989811

• eldr-io/hastl

  Production ready, modern web-application starter template using haskell and htmx

  Language:Haskell72211

• anton-k/mig

  Lightweight and composable servers for Haskell

  Language:Haskell713183

• iand675/hs-opentelemetry

  OpenTelemetry support for the Haskell programming language

  Language:Haskell6685533

• leanprover-community/lean-auto

  Experiments in automation for Lean

  Language:Lean6681610

• tomjaguarpaw/bluefin

  Language:Haskell526126

• channable/hoff

  A gatekeeper for your commits

  Language:Haskell41101083

• well-typed/grapesy

  Native Haskell gRPC client and server based on `http2`

  Language:Haskell384474

• ekmett/placeholder

  todo and unimplemented, robustly implemented

  Language:Haskell33421

• haflang/heron

  A special-purpose processor for pure, non-strict functional languages

  Language:Haskell1820

• well-typed/trace-foreign-calls

  GHC plugin to add eventlog tracing for foreign function calls

  Language:Haskell1451

• BobMcDear/minbpe-hs

  Byte-level byte pair encoding (BPE) in Haskell

  Language:Haskell11100

• raehik/symparsec

  Type level string parser combinators

  Language:Haskell81

• sellout/no-recursion

  A GHC plugin to remove support for recursion

  Language:Nix823

• runeksvendsen/haskell-function-graph

  Compose Haskell functions to reach one type from another

  Language:Haskell6210

• jprupp/rocksdb-haskell

  RocksDB Haskell Bindings

  Language:Haskell5225

• bellroy/unliftio-servant-server

  Use MonadUnliftIO on servant APIs

  Language:Haskell4

• velveteer/json-mask

  A Haskell library to filter JSON fields inspired by Google's Partial Response

  Language:Haskell2200