kiranandcode

Researcher working on proof repair and maintenance

Research ScientistNYC

Pinned Repositories

cleango
Bindings to libclingo for the lean4 prover and programming language!
Language:C20 2 11
emacs-viewer
A web frontend for your Org-files (100% faithful to GNU+Emacs!)
Language:Common Lisp125 4 10
gopcaml-mode
[MIRROR] Ultimate Ocaml Editing Mode
Language:OCaml22 2 00
LeanTeX
Write LaTeX presentations directly from Lean4~
Language:Lean211
LibreRef
LibreRef is a free as in freedom digital referencing tool for artists.
Language:OCaml7 3 00
ocamlot
An Activitypub server in OCaml!
Language:OCaml68 4 54
petrol
Petrol's an OCaml SQL API made to go FAST.
Language:OCaml126 4 811
rhombus-in-the-rough
A 2D RPG implemented in the Rhombus Racket dialect
Language:GLSL56 3 01
ceramist
Verified hash-based AMQ structures in Coq
Language:Coq124 6 05
sisyphus
Mostly Automated Proof Repair for Verified Libraries
Language:OCaml11 2 301

kiranandcode's Repositories

kiranandcode/WacomTabletTool
Unofficial GUI Tool for configuring Wacom Tablets on Unix/Linux systems.
Language:Shell10 3 0
kiranandcode/C-Projects
A repository for all the cool C projects I do
Language:C4 2 0
kiranandcode/dependent-view
A rust library for weak dependent views.
Language:Rust3 3 0
kiranandcode/gop-music
Music synced to typing baby!
Language:Python3 3 0
kiranandcode/coq-projects
Haskell? More like not-prooved-well! Got-em!
Language:Coq1 2 0
kiranandcode/cvgenerator
Simple, Formal, Elegant. CV Generator
Language:Java1 2 0
kiranandcode/Goptables
The best timetabling system you never knew you needed.
Language:Python1 3 0
kiranandcode/html_gen
A simple HTML templating engine built using literate programming
Language:TeX1 2 0
kiranandcode/python-projects
Repo for all the small cool experiments I've done in Python.
Language:Python1 1 0
kiranandcode/rust-projects
Might as well dip my toes into rust as well.
Language:Rust1 2 0
kiranandcode/assembly-projects
Who needs types when you have bytes?
Language:Assembly
kiranandcode/bash-scripts
Powershell sucks.
Language:Shell3 0
kiranandcode/composable.el
Composable text editing for Emacs.
Language:Emacs Lisp2 0
kiranandcode/GAPlayground
A Playground for testing GA ideas
Language:Processing3 0
kiranandcode/genius-pass
An innovative new experiment in password management
Language:JavaScript2 0
kiranandcode/Haskel-Projects
A Repository for all the cool Haskel Projects I do.
Language:Haskell2 0
kiranandcode/imgui-rs
Rust bindings for dear imgui
Language:Rust3 0
kiranandcode/java-projects
A repository for all the cool Java Projects I do.
Language:Processing1 0
kiranandcode/JavaGAs
A multipurpose Genetic Algorithms library in Java
Language:Java
kiranandcode/julia-projects
Can I learn Julia and write a project on it in less than 8 days?
Language:Jupyter Notebook3 1
kiranandcode/LogMyPos
An Alexa-integrated web application to collect my own logistics.
Language:JavaScript1
kiranandcode/observable-rs
Idiomatic, Unstable, observables for Rust
Language:Rust
kiranandcode/pathetiC
It was all a MIPStake.
Language:Processing3 0
kiranandcode/R-LCS
Recursive Learning Classifier System (RLCS) - Implementation of a Recursive Learning classifier System
Language:Java2 0
kiranandcode/r-projects
Can't learn statistics without fitting a few models, eh?
Language:HTML3 0
kiranandcode/random
Interpretation of random programs
Language:Coq1 0
kiranandcode/rust-breakout
Implementation of the breakout game in Rust (openGL)
Language:Rust
kiranandcode/Shaders
Like processing on steroids.
Language:GLSL2 0
kiranandcode/TopologicalTodo
A brand new todo application utilizing an internal graph to model task dependancies.
Language:Java3 0
kiranandcode/vr-projects
Reality? who needs that?
Language:Kotlin3 0