psilospore Goto Github PK
Name: psilospore
Type: User
Company: Acima
Bio: Functional programmer, Software Engineer at Acima, and a CS PhD student at the University of Vermont.
Twitter: psilospore
Location: Burlington, Vermont
Name: psilospore
Type: User
Company: Acima
Bio: Functional programmer, Software Engineer at Acima, and a CS PhD student at the University of Vermont.
Twitter: psilospore
Location: Burlington, Vermont
Easycrypt proof of additive secret share for a class project
Build highly concurrent, distributed, and resilient message-driven applications on the JVM
Following along Algorithm Design with Haskell
Scala Scripting
Just a dump of some ammonite scripts
Easily navigate to typescript(.ts)|template(.html)|style(.scss/.sass/.css) in angular2 project.
An example of how to use BSP. Where I use Bloop as the build server.
Lightweight, modular, and extensible library for functional programming.
Choreographic Programming in TypeScript
ML Class Project for a proof of convergence of gradient descent
some random coq stuff
My solutions to Cracking the Coding Interview coding challenges
A cryptocurrency tumbler simulator for a programming challange from Gemini
CS6993-S23 Independent Study in Proof Assistants
Formalizing stochastic doubly-efficient debate
The repository for high quality TypeScript type definitions.
Distributed systems in Haskell playground
Documentation for the PureScript language, compiler, and tools.
🌲 A list of companies using Elm in production.
🔢 Commonly used Html element with extra functionality
React specific linting rules for ESLint
A schema migration tool for firestore
A low FODMAP diet app that will contains ingredients and recipes.
Answers to exercises in Functional Programming in Scala for our book club
Functional programming in TypeScript
A collection of practical recipes for working with fp-ts
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)
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.