psilospore
Functional programmer, Software Engineer at Acima, and a CS PhD student at the University of Vermont.
AcimaBurlington, Vermont
Pinned Repositories
convergence-of-gradient-descent-coq
ML Class Project for a proof of convergence of gradient descent
distributed-systems-hs
Distributed systems in Haskell playground
hadoop_twitter_tests
mill-remote-cache-server
A remote caching server for the Mill build tool
ng-next-select
Angular2+ based replacement for select boxes (fork from valor-software's ng2-select)
rules_scala
A very hacky WIP bloop integration with Bazel. It's pretty messy in here but hopefully it won't be for long.
scala
The Scala programming language (some minor contributions)
spores-slackbot
A simple slackbot that allows JIRA stats to be submitted and posts a formatted message to a slack channel
MultiChor
Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.
SensCheck
psilospore's Repositories
psilospore/google-file-system-haskell
GFS in Haskell implementation only for my understanding not correct but feel free to make suggestions
psilospore/wai
Haskell Web Application Interface
psilospore/convergence-of-gradient-descent-coq
ML Class Project for a proof of convergence of gradient descent
psilospore/distributed-systems-hs
Distributed systems in Haskell playground
psilospore/additive-secret-share-easycrypt
Easycrypt proof of additive secret share for a class project
psilospore/choreography-ts
Choreographic Programming in TypeScript
psilospore/coq-stuff
some random coq stuff
psilospore/CS6993-S23
CS6993-S23 Independent Study in Proof Assistants
psilospore/debate
Formalizing stochastic doubly-efficient debate
psilospore/dotfiles-1
psilospore/elm-companies
🌲 A list of companies using Elm in production.
psilospore/elm-input-extra
🔢 Commonly used Html element with extra functionality
psilospore/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)
psilospore/grenade
Deep Learning in Haskell
psilospore/HasChor
Functional choreographic programming in Haskell
psilospore/haskell-companies
A gently curated list of companies using Haskell in industry
psilospore/haskell-practicum-no-code
MotolRe
psilospore/hs-opentelemetry
OpenTelemetry support for the Haskell programming language
psilospore/kafka2http
Subscribe to a topic and make http calls. Supports retry, dead letter queues, and templatized request bodies.
psilospore/llm_debate_backdoor
Attempt to use this for: "ai control: improving safety despite intentional subversion"
psilospore/miryoku_zmk
Miryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout. Miryoku ZMK is the Miryoku implementation for ZMK.
psilospore/neural-net-coq-interp
Some experiments with doing NN interpretability in Coq
psilospore/opentelemetry.io
The OpenTelemetry website and documentation
psilospore/programming-dp
psilospore/pvp
Haskell Package Version Policy (PVP)
psilospore/renovate
Universal dependency update tool that fits into your workflows.
psilospore/rollbar-haskell
A group of libraries written in Haskell to communicate with Rollbar API.
psilospore/rollbar-hs
Fork of rollbar-hs
psilospore/Software-Foundtions-Agda
An introduction to programming language theory in Agda
psilospore/write-you-a-haskell
My solutions to write you a Haskell