velveteer
Member of the Haskell Core Libraries Committee. Currently using Haskell to help feed Texas.
H-E-BSan Antonio
velveteer's Stars
protocolbuffers/protobuf
Protocol Buffers - Google's data interchange format
floating-ui/floating-ui
A JavaScript library to position floating elements and create interactions for them.
plausible/analytics
Simple, open source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.
abseil/abseil-cpp
Abseil Common Libraries (C++)
TodePond/DreamBerd
perfect programming language
google/gnostic
A compiler for APIs described by the OpenAPI Specification with plugins for code generation and other API support tasks.
gnat/surreal
🗿 Mini jQuery alternative. Dependency-free animations. Locality of Behavior. Use one element or arrays transparently. Pairs with htmx. Vanilla querySelector() but better!
davidlattimore/wild
basharovV/musicat
A sleek desktop music player and tagger for offline music 🪕 With experimental features like map view, GPT analysis, artist toolkit. Built with Svelte and Tauri
youtube/cobalt
Cobalt is a lightweight HTML5 application container
haskell-fswatch/hfsnotify
Unified Haskell interface for basic file system notifications
TomaszRewak/js-spread-grid
JS library for creating high-performance grid-based applications
ucsd-progsys/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
lukewilliamboswell/roc-awesome
Awesome Roc
awakesecurity/proto3-suite
Haskell Protobuf Implementation
k-bx/protocol-buffers
Haskell protocol-buffers package
roc-lang/basic-webserver
A basic webserver in Roc
DougBurke/hvega
Create Vega-Lite visualizations from Haskell.
purebred-mua/purebred-email
A fast email parsing library implemented in Haskell
katsujukou/TaPL-in-PureScript
The PureScript implementation for the *Types and Programming Language* by B. Pierce
thunderseethe/type-inference-example
Full Example Type Inference Implementation for thunderseethe.github.io
Swarthe/figsynth
Polygonal synthesizer
raehik/strongweak
Convert between strong and weak representations of types
fizruk/free-foil
Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).
SophieBosio/contra
A friendly functional language for finding counterexamples 🎯
raehik/rerefined
Refinement types in Haskell, again
Airsequel/AirGQL
Automatically generate a GraphQL API for an SQLite database
input-output-hk/hs-bindgen
henrylaxen/indexHaddock
Create an index of local Haddock files
vmchale/hs-err
Set vim errorformat &c. for Haskell files