psilospore's repositories
google-file-system-haskell
GFS in Haskell implementation only for my understanding not correct but feel free to make suggestions
morpheus-graphql
Haskell GraphQL Api, Client and Tools
convergence-of-gradient-descent-coq
ML Class Project for a proof of convergence of gradient descent
additive-secret-share-easycrypt
Easycrypt proof of additive secret share for a class project
CS6993-S23
CS6993-S23 Independent Study in Proof Assistants
debate
Formalizing stochastic doubly-efficient debate
elm-companies
🌲 A list of companies using Elm in production.
elm-input-extra
🔢 Commonly used Html element with extra functionality
gatekept-traffic-PoC
A codebase so we can disagree about what is or isn't a gatekeeper (gatekeeper defined here https://www.aria.org.uk/wp-content/uploads/2024/01/ARIA-Safeguarded-AI-Programme-Thesis-V1.pdf)
grenade
Deep Learning in Haskell
HasChor
Functional choreographic programming in Haskell
haskell-companies
A gently curated list of companies using Haskell in industry
haskell-practicum-no-code
MotolRe
hs-opentelemetry
OpenTelemetry support for the Haskell programming language
kafka2http
Subscribe to a topic and make http calls. Supports retry, dead letter queues, and templatized request bodies.
llm_debate_backdoor
Attempt to use this for: "ai control: improving safety despite intentional subversion"
miryoku_zmk
Miryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout. Miryoku ZMK is the Miryoku implementation for ZMK.
neural-net-coq-interp
Some experiments with doing NN interpretability in Coq
opentelemetry.io
The OpenTelemetry website and documentation
rollbar-haskell
A group of libraries written in Haskell to communicate with Rollbar API.
rollbar-hs
Fork of rollbar-hs
Software-Foundtions-Agda
An introduction to programming language theory in Agda
write-you-a-haskell
My solutions to write you a Haskell