Pinned Repositories
arend-lib
carveau_test
claude-api
Haskell client for Anthropic's Claude API
compHW
Coq-RiDE
notebooks
IHaskell notebooks
Elvecent's Repositories
Elvecent/notebooks
IHaskell notebooks
Elvecent/arend-lib
Elvecent/carveau_test
Elvecent/claude-api
Haskell client for Anthropic's Claude API
Elvecent/compHW
Elvecent/Coq-RiDE
Elvecent/Documents
Document storage
Elvecent/effectful-notify
Elvecent/emacs-init
Elvecent/haskellfoundation.github.io
The Haskell Foundation website, hosted by GitHub Pages.
Elvecent/hkd-playground
Elvecent/MyMTLWalletBot
MyMTLWalletBot
Elvecent/nixpkgs
Nix Packages collection
Elvecent/org-mode
Elvecent/pch-ws-chat
The chat example from Parallel and Concurrent Haskell, but on WebSockets
Elvecent/reflex-vty
Reflex library for building functional reactive terminal applications
Elvecent/reflex-vty-usage
An example project using reflex-vty via reflex-platform
Elvecent/sdk-core
Core Temporal SDK that can be used as a base for language specific Temporal SDKs
Elvecent/sexpr-parser
S-expression parser in Haskell
Elvecent/trial-chain
Elvecent/ts-sandbox
Elvecent/websocket-counter
A simple counter app powered by Haskell websockets backend
Elvecent/write-me-a-scheme
Elvecent/xml
Various XML utility packages for Haskell
Elvecent/xml-isogen
TemplateHaskell generators for XML-isomorphic data types, instances for parsing and rendering. A convenient DSL to define types.