philzook58 Goto Github PK

leftman

A robotic car to eventually machine learn on

lens-algebra

Type level algebraic "proofs" using lens combinators

lips-minikanren

marcel

metadatalog

Metaprogramming Datalog with Prolog

metarational

metatheory.jl

General purpose metaprogramming and algebraic computation library for the Julia programming language

meteor-quill

Quill.js wrapped for Meteor

micro-wp

ml5-library

Friendly machine learning for the web! 🤖

mmverify.py

Metamath verifier in Python

mrsketcho

a wordpress plugin for fast sketching

nand2coq

Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).

nand2tetris

Stuff for nand2tetris

new-flesh

node_laser_control

not-bad-ccc

Another tact on compiling to categories without a plugin

ocaml_binder

ocaml_z3_silly

A toy repo to figure out the z3 api

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

opencv

A holder for all my computer vision projects

osqp-haskell

Bindings to osqp from Haskell

parabola

pcode2c

Convert low ghidra pcode to verifiable C

ph-pfaffian_talk

A Short presentation on the PH-Pfaffian state

philzook58.github.io

My Blog

practical-fm

A gently curated list of companies using verification formal methods in industry

purescript-corefn-bridge

Use purescript-bridge to transfer CoreFn AST to purescript

purescript-functor-vector

Vector operations heavily based in Functor composition

purescript-glpk

Purescript bindings to the GNU Linear Programming Kit