psilospore
Follow
-
choreography-ts Public
Forked from shumbo/choreography-tsChoreographic Programming in TypeScript
TypeScript UpdatedNov 14, 2024 -
gatekept-traffic-PoC Public
Forked from quinn-dougherty/gatekept-traffic-PoCA 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)
Python UpdatedJun 18, 2024 -
rollbar-hs Public
Forked from joneshf/rollbar-hsFork of rollbar-hs
-
neural-net-coq-interp Public
Forked from JasonGross/neural-net-coq-interpSome experiments with doing NN interpretability in Coq
Jupyter Notebook MIT License UpdatedMay 9, 2024 -
ML Class Project for a proof of convergence of gradient descent
Coq UpdatedApr 29, 2024 -
debate Public
Forked from google-deepmind/debateFormalizing stochastic doubly-efficient debate
Lean Apache License 2.0 UpdatedMar 31, 2024 -
llm_debate_backdoor Public
Forked from ucl-dark/llm_debateAttempt to use this for: "ai control: improving safety despite intentional subversion"
Python MIT License UpdatedMar 22, 2024 -
HasChor Public
Forked from gshen42/HasChorFunctional choreographic programming in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 21, 2024 -
miryoku_zmk Public
Forked from manna-harbour/miryoku_zmkMiryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout. Miryoku ZMK is the Miryoku implementation for ZMK.
C UpdatedFeb 14, 2024 -
CS6993-S23 Public
Forked from uvm-plaid/CS6993-S23CS6993-S23 Independent Study in Proof Assistants
Coq UpdatedJan 12, 2024 -
Software-Foundtions-Agda Public
Forked from plfa/plfa.github.ioAn introduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedJan 10, 2024 -
Easycrypt proof of additive secret share for a class project
eC UpdatedDec 20, 2023 -
rollbar-haskell Public
Forked from stackbuilders/rollbar-haskellA group of libraries written in Haskell to communicate with Rollbar API.
Haskell MIT License UpdatedNov 14, 2023 -
-
grenade Public
Forked from HuwCampbell/grenadeDeep Learning in Haskell
Haskell BSD 2-Clause "Simplified" License UpdatedOct 5, 2023 -
wai Public
Forked from yesodweb/waiHaskell Web Application Interface
-
elm-companies Public
Forked from jah2488/elm-companies🌲 A list of companies using Elm in production.
Elm UpdatedJun 16, 2023 -
-
-
distributed-systems-hs Public
Distributed systems in Haskell playground
Haskell Other UpdatedJan 14, 2023 -
kafka2http Public
Subscribe to a topic and make http calls. Supports retry, dead letter queues, and templatized request bodies.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 28, 2022 -
google-file-system-haskell Public
GFS in Haskell implementation only for my understanding not correct but feel free to make suggestions
-
hs-opentelemetry Public
Forked from iand675/hs-opentelemetryOpenTelemetry support for the Haskell programming language
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 2, 2022 -
opentelemetry.io Public archive
Forked from open-telemetry/opentelemetry.ioThe OpenTelemetry website and documentation
HTML Creative Commons Attribution 4.0 International UpdatedAug 1, 2022 -
haskell-companies Public
Forked from erkmos/haskell-companiesA gently curated list of companies using Haskell in industry
The Unlicense UpdatedJun 1, 2022 -
-
renovate Public
Forked from renovatebot/renovateUniversal dependency update tool that fits into your workflows.
TypeScript Other UpdatedMar 4, 2022 -
elm-input-extra Public archive
Forked from abadi199/elm-input-extra🔢 Commonly used Html element with extra functionality
Elm MIT License UpdatedFeb 11, 2022 -
write-you-a-haskell Public archive
My solutions to write you a Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 7, 2022 -