psilospore Goto Github PK

additive-secret-share-easycrypt

Easycrypt proof of additive secret share for a class project

akka

Build highly concurrent, distributed, and resilient message-driven applications on the JVM

algorithm-design-with-haskell

Following along Algorithm Design with Haskell

ammonite

Scala Scripting

ammonitescripts

Just a dump of some ammonite scripts

angular2-switcher

Easily navigate to typescript(.ts)|template(.html)|style(.scss/.sass/.css) in angular2 project.

build-server-protocol-example

An example of how to use BSP. Where I use Bloop as the build server.

builditbreakit

cats

Lightweight, modular, and extensible library for functional programming.

convergence-of-gradient-descent-coq

ML Class Project for a proof of convergence of gradient descent

coq-stuff

some random coq stuff

cracking-the-coding-interview

My solutions to Cracking the Coding Interview coding challenges

crypto-tumbler-simulator

A cryptocurrency tumbler simulator for a programming challange from Gemini

cs6993-s23

CS6993-S23 Independent Study in Proof Assistants

debate

Formalizing stochastic doubly-efficient debate

definitelytyped

The repository for high quality TypeScript type definitions.

distributed-systems-hs

Distributed systems in Haskell playground

documentation

Documentation for the PureScript language, compiler, and tools.

dotfiles

dotfiles-1

elm-companies

🌲 A list of companies using Elm in production.

elm-input-extra

🔢 Commonly used Html element with extra functionality

eslint-plugin-react

React specific linting rules for ESLint

fireway

A schema migration tool for firestore

fodmapify

A low FODMAP diet app that will contains ingredients and recipes.

fp-in-scala-v2

Answers to exercises in Functional Programming in Scala for our book club

fp-ts

Functional programming in TypeScript

fp-ts-recipes

A collection of practical recipes for working with fp-ts

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)

gatsby-purescript-example

Simple example app using Gatsby.js with Purescript