jamesgallicchio Goto Github PK

benchmarks

Some benchmarks of different languages

book

deployment for smlhelp page

brunched-invitations

capnproto-lean

Library for generating Lean types from capnproto specs

charm

Collection of programs for automation of the Enchanting Guild on Nerdcrafteria :)

discord4j

A JVM-based REST/WS wrapper for the official Discord Bot API

electionsimulator

Simulates US Democratic Primary elections using Monte Carlo predictions with poll data from across the country

eternity2

Efficient encoding for edge matching puzzles, to solve the Eternity II puzzle

fsh

Fsh - Fish With No Eyes

git-practice

http

Basic HTTP definitions and parsing for Lean

keymaerax-release

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

lean-api-course

Website + materials for StuCo 98-013, Lean: A Practical Introduction

lean-openapi

lean-sexp

lean4

Lean 4 programming language and theorem prover

lean_rms

leancolls

WIP collections library for Lean 4

leansat

leanserial

(De-)serialization library for Lean 4

m1crosc0pe

megaparsec.lean

Lean 4 port of Megaparsec

molasses

MLB support for CM (the SML/NJ Compilation and Library Manager)

numbers

Arbitrary Bit-Length Integers in Lean

pauline

Lean formalization of SML, mainly for educational purposes

pebbledraw

The Pebble app portion of the project.

picluster

Software for my cluster of RPis connected over USB ports

prettybasic

A Scala library to make PBASIC ... well, pretty basic!

promysapp

proofs-and-ladders