🇹🇹
Research: Number Theory + Alg Graph Theory in Quantum / 😴. Also Lean learner
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 Vermont
- Ganymede
-
08:30
(UTC -07:00) - https://kammitama5.github.io/
Highlights
- Pro
- All languages
- ActionScript
- Agda
- AsciiDoc
- Assembly
- Batchfile
- Bikeshed
- C
- C#
- C++
- CSS
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cython
- DIGITAL Command Language
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F#
- F*
- Fortran
- FreeBASIC
- Go
- HTML
- Handlebars
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M
- MATLAB
- Macaulay2
- Makefile
- Markdown
- Mathematica
- Mojo
- NSIS
- Nix
- OCaml
- OpenQASM
- PHP
- Pascal
- Perl
- PowerShell
- Processing
- PureScript
- Python
- Q#
- R
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sage
- Scala
- Scheme
- Scilab
- Shell
- Solidity
- Standard ML
- Starlark
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vim Snippet
- Vue
- WebAssembly
- Wikitext
- XSLT
- eC
Starred repositories
5
stars
written in M
Clear filter
Rigorous computation of the endomorphism ring of a Jacobian
Mockup implementation of Hilbert Modular Forms
A package for Magma to make computation with étale algebras
This is the public Git Repository for work done on the paper "Experimental investigations on Lehmer's Conjecture for elliptic curves over quadratic extensions"