Giters
Cris Perdue (crisperdue)

crisperdue

Geek Repo

5

followers

4

following

171

stars

Location:Silicon Valley

Home Page:http://prooftoys.org/

Github PK Tool:Github PK Tool

Cris Perdue's repositories

prooftoys

Interactive, web-based visual math assistant

Language:JavaScriptLicense:NOASSERTIONStargazers:9Issues:2Issues:2

practical-logic

Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"

Language:OCamlLicense:NOASSERTIONStargazers:6Issues:2Issues:0

mathtoys

Mathtoys assistant for high school algebra

Language:HTMLLicense:NOASSERTIONStargazers:3Issues:3Issues:1

content

The content behind MDN Web Docs

Language:MarkdownLicense:NOASSERTIONStargazers:0Issues:1Issues:0

crisperdue.github.io

GitHub pages

Language:HTMLStargazers:0Issues:2Issues:0

customize

Scripts to initialize a Debian server and personal environment

Language:ShellStargazers:0Issues:2Issues:0

holpy

Implementation of higher-order logic in Python

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

hugoDocs

The source for https://gohugo.io/

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:1Issues:0

imps

The IMPS Theorem Prover

Language:Perl6Stargazers:0Issues:2Issues:0

startstop

Utility for super-simple creation of LSB-compliant SysV-style init scripts

Language:CLicense:MITStargazers:0Issues:2Issues:0

lean3x

Experiments with Lean 3

Stargazers:0Issues:2Issues:0

lean4-samples

Code samples for Lean 4

License:Apache-2.0Stargazers:0Issues:0Issues:0

mathserver

Server-side stuff for Mathtoys and Prooftoys

Language:PythonStargazers:0Issues:2Issues:0

one-click-hugo-cms

Language:CSSLicense:MITStargazers:0Issues:2Issues:0

proofdisplay

HOL Light tactic proof displayer

Language:OCamlStargazers:0Issues:2Issues:0

prooftoys-site

Prooftoys web site (future http://prooftoys.org), pages without app code.

Language:HTMLStargazers:0Issues:0Issues:0

utils

Miscellaneous Linux / Debian utility scripts

Stargazers:0Issues:0Issues:0