kisonecat Goto Github PK

setup.py

📦 A Human's Ultimate Guide to setup.py.

sharedb-ace-multiple-cursors

shtools.nix

shtools derivation for nixos

simple-tiled-implementation

Tiled library for LÖVE

skulpt

Skulpt is a Javascript implementation of the Python programming language

so3hd

Compute an SO(3)-invariant Hausdorff distance

square-cross-section

A 3-dimensional scene containing an object built from square cross sections

stack

The Haskell Tool Stack

standards

Standards used to tag content by CuratedCourses

stemcoding

Ximera-based activities for STEM coding by Chris Orban

subsets-of-reals

JavaScript library to manipulate intervals and other subsets of real numbers

symplectic_groups

Lean 3 formalization of Sp 2n R

tex-in-the-browser

A talk for the OER session at JMM 2020

texmf

My texmf tree

tikzjax

TikZJax is TikZ running under WebAssembly in the browser

tikzwolke

tikzwolke is a cloud-based service converting <script> tags with TikZ code into SVG images

topology

Topology seminar at The Ohio State University

unimath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

unknown-solutions

Solve a series of puzzles

utmost

Code to manage student logins for UTMOST books

video-faq

Some discussion of how I make videos

web2js

Convert TeX's pascal to javascript

websigmaa-lecture

Slides for an introductory talk about Ximera

what-is-random

A talk at COSI on April 6, 2017 about what pseudorandom numbers are

word-metric

Geometric group theory in Lean

word2vec.xyz

visualize word embeddings

worksheet-builder

Build TeX worksheets from a \begin{exercise}s hidden among many TeX files

ximera-activity-service

ximera-ios

Interactive textbooks for tablet PCs, starting from LaTeX source files

ximera-pandoc-filter

Pandoc filter for conversion of LaTeX files to Ximera's activity HTML format.