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.
Language:Rust00
codeworld
Educational computer programming environment using Haskell
Language:Haskell00
DataGraphsAndDataScience
data and graphs
Language:Jupyter Notebook00
kammitama5.github.io
Build a Jekyll blog in minutes, without touching the command line.
Language:SCSS1 3 00
LambdaConf17-notes
repo for all notes, programmes etc I made for LambdaConf17
Language:TeX2 2 00
LN_Price_Of_Anarchy
Language:TeX3 5 22
predicates-rs
An implementation of boolean-valued predicate functions in Rust
Language:Rust00
racket_jacket
racket_language_stuff
Language:Racket2 3 00

kammitama5's Repositories

kammitama5/LN_Price_Of_Anarchy
Language:TeX3 5 22
kammitama5/kammitama5.github.io
Build a Jekyll blog in minutes, without touching the command line.
Language:SCSS1 3 00
kammitama5/agda_final
My Agda final for 295A
Language:Agda4 0
kammitama5/awesome-deep-text-detection-recognition
A curated list of resources for text detection/recognition (optical character recognition ) with deep learning methods.
2 0
kammitama5/bayesian-stats-modelling-tutorial
How to do Bayesian statistical modelling using numpy and PyMC3
Language:Jupyter Notebook1 0
kammitama5/circuit-knitting-toolbox
Tools for knitting quantum circuits
Language:Python1 0
kammitama5/codeql-uboot
Language:CodeQL3 1
kammitama5/data-science
Language:Python2 0
kammitama5/ddsp
DDSP: Differentiable Digital Signal Processing
Language:Python2 0
kammitama5/deep-learning-v2-pytorch
Projects and exercises for the latest Deep Learning ND program https://www.udacity.com/course/deep-learning-nanodegree--nd101
Language:Jupyter Notebook2 0
kammitama5/fastpages
An easy to use blogging platform, with enhanced support for Jupyter Notebooks.
Language:Jupyter Notebook2 0
kammitama5/github-battle
Language:JavaScript3 0
kammitama5/hackathon-toolkit
GCP Hackathon Toolkit
kammitama5/HasChor
Functional choreographic programming in Haskell
Language:Haskell1 0
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.
Language:Jupyter Notebook1 0
kammitama5/isogeny-OPRF
Language:Sage2 0
kammitama5/la_adventures2016
Oct 21st and Oct 22nd Rails Girls LA
Language:Ruby2 0
kammitama5/lmfdb
L-Functions and Modular Forms Database
Language:Python1 0
kammitama5/luckyfoot
simulating luckyfoot
Language:HTML2 0
kammitama5/mlh-localhost-icon-blockchain-casino-starter
Starter code for the ICON Blockchain Localhost workshop
kammitama5/my_db_repo
Language:JavaScript3 0
kammitama5/pianoboi
A desktop app for displaying live sheet music from MIDI input.
Language:JavaScript2 0
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
Language:Jupyter Notebook2 0
kammitama5/PySyft
A library for encrypted, privacy preserving machine learning
Language:Python2 0
kammitama5/QuantumBacktracking
kammitama5/resources
A list of resources mentioned in corecursive, or in the corecursive slack channel
2 0
kammitama5/scala-open-letter.github.io
Language:Ruby2 0
kammitama5/simple-twitter
A bare-bones Twitter clone implemented in a single file
Language:Nix1 0
kammitama5/software-verification
Language:Lean1 0
kammitama5/stacks-project
Repository for the Stacks Project