Pinned Repositories
CatNip
Mac OS X application to detect and block cat-like typing
corne-case
3-D printed case for Corne keyboard without OLEDs
dvi2html
Device independent (DVI) file format parsing with node
fbpad-eink
A framebuffer-based terminal emulator targetting eink devices (Kobo)
home-manager
Manage a user environment using Nix [maintainer=@rycee]
lerminus
The terminus font but with ligatures
m2o2c2
Multivariable calculus course materials
sequences-and-series
Course materials for a Calculus MOOC
tikzjax
TikZJax is TikZ running under WebAssembly in the browser
web2js
Convert TeX's pascal to javascript
kisonecat's Repositories
kisonecat/tikzjax
TikZJax is TikZ running under WebAssembly in the browser
kisonecat/dvi2html
Device independent (DVI) file format parsing with node
kisonecat/math5520h
Assigned readings and problem sets for Math 5520H
kisonecat/pi-base-mathlib
some Lean 4 code for verifying facts from pi-base using mathlib
kisonecat/chart
kisonecat/course-descriptions
Descriptions of courses from Ohio State University's math department
kisonecat/ford-circles
javascript demo of Ford circles
kisonecat/math3345-game
An online game built with lean-make-game for Math 3345H
kisonecat/math7851
Characteristic class course readings and problem sets
kisonecat/mathlib_knot_theory
Trying to add knot theory to the mathlib project
kisonecat/barjosciencefair.com
kisonecat/canvas-cli
tool to access the Canvas LMS from the command line
kisonecat/Characteristic-Classes
kisonecat/countdot.hs
Cards with fun diagrams for counting dots
kisonecat/cubical-1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
kisonecat/DoenetTools
kisonecat/gmp-demo
An example of using GMP from C++
kisonecat/iblgpt
Using ChatGPT for an IBL math course
kisonecat/kisonecat.github.io
Jim Fowler's homepage
kisonecat/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
kisonecat/manifolds-in-lean
kisonecat/math6802
Math 6802, a second course in algebraic topology
kisonecat/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
kisonecat/maze-generator
Generate mazes on some surfaces
kisonecat/meow
Yet another modal editing on Emacs / 猫态编辑
kisonecat/nixpkgs
Nix Packages collection
kisonecat/node-kpathsea
Node native bindings to the kpathsea library
kisonecat/osuletter
Letterhead LaTeX document class for letters
kisonecat/pi-base-data
A community database of topological counterexamples
kisonecat/py222
Python 2x2 Rubik's Cube representation & solver