deployment for smlhelp page

Prove functional correctness of Ethereum smart contracts in higher-order logic

A simple library for reporting compiler/interpreter errors

Useful things for Standard ML

A website listing all the best FV companies in the Crypto space.

Kolmogorov Arnold Networks

A library for creating directed graph editors

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

The New Pact

A library of examples based on Z-Machines

Lem semantic definition language

Quickly create and run optimised Windows, macOS and Linux virtual machines

Horus, a formal verification tool for StarkNet smart contracts.

Useful syntactic sugar, new operators and functions, and their associated lemmas for finite maps which currently are not present in the standard `Finite_Map` theory.

A utility to stream (and record) from a Remarkable2 without hack or third party dependencies

Inpla: Interaction nets as a programming language (the current version)

Public domain mDNS/DNS-SD library in C

A mechanisation of Wasm in Isabelle.

Article: Functional Declarative Design

Run your GitHub Actions locally 🚀

A biologically realistic neural network simulator

Practice touch/speed typing in emacs

A coq plugin to deal with commutative diagrams

Formal Reasoning About Programs

A presenter console with multi-monitor support for PDF files.

Visual Studio Code Extension and Language Server Protocol for Coq

an Octopress blog by Jake Zimmerman