kammitama5
just a functional girl..in a functional world :) PhD 🍬date. Mostly at the intersection of 💻 & Pure Math (Arith. Geometry + Alg. Graph Theory) + Quantum.
University of VermontGanymede
Pinned Repositories
assert_cmd
Assert process::Command - Easy command initialization and assertions.
codeworld
Educational computer programming environment using Haskell
DataGraphsAndDataScience
data and graphs
kammitama5.github.io
Build a Jekyll blog in minutes, without touching the command line.
LambdaConf17-notes
repo for all notes, programmes etc I made for LambdaConf17
LN_Price_Of_Anarchy
predicates-rs
An implementation of boolean-valued predicate functions in Rust
racket_jacket
racket_language_stuff
kammitama5's Repositories
kammitama5/LN_Price_Of_Anarchy
kammitama5/kammitama5.github.io
Build a Jekyll blog in minutes, without touching the command line.
kammitama5/agda_final
My Agda final for 295A
kammitama5/awesome-deep-text-detection-recognition
A curated list of resources for text detection/recognition (optical character recognition ) with deep learning methods.
kammitama5/bayesian-stats-modelling-tutorial
How to do Bayesian statistical modelling using numpy and PyMC3
kammitama5/circuit-knitting-toolbox
Tools for knitting quantum circuits
kammitama5/codeql-uboot
kammitama5/data-science
kammitama5/ddsp
DDSP: Differentiable Digital Signal Processing
kammitama5/deep-learning-v2-pytorch
Projects and exercises for the latest Deep Learning ND program https://www.udacity.com/course/deep-learning-nanodegree--nd101
kammitama5/fastpages
An easy to use blogging platform, with enhanced support for Jupyter Notebooks.
kammitama5/github-battle
kammitama5/hackathon-toolkit
GCP Hackathon Toolkit
kammitama5/HasChor
Functional choreographic programming in Haskell
kammitama5/ILearnDeepLearning.py
This repository contains small projects related to Neural Networks and Deep Learning in general. Subject are closely linekd with articles I publish on Medium. I encourage you both to read as well as to check how the code works in the action.
kammitama5/isogeny-OPRF
kammitama5/la_adventures2016
Oct 21st and Oct 22nd Rails Girls LA
kammitama5/lmfdb
L-Functions and Modular Forms Database
kammitama5/luckyfoot
simulating luckyfoot
kammitama5/mlh-localhost-icon-blockchain-casino-starter
Starter code for the ICON Blockchain Localhost workshop
kammitama5/my_db_repo
kammitama5/pianoboi
A desktop app for displaying live sheet music from MIDI input.
kammitama5/Price-Of-Anarchy-in-Selfish-Routing
We provide a model how the Price of Anarchy can be described on the Lightning Network under selfish behavior of sending nodes
kammitama5/PySyft
A library for encrypted, privacy preserving machine learning
kammitama5/QuantumBacktracking
kammitama5/resources
A list of resources mentioned in corecursive, or in the corecursive slack channel
kammitama5/scala-open-letter.github.io
kammitama5/simple-twitter
A bare-bones Twitter clone implemented in a single file
kammitama5/software-verification
kammitama5/stacks-project
Repository for the Stacks Project