Skip to content
View ashandoak's full-sized avatar

Highlights

  • Pro

Organizations

@leanprover

Block or report ashandoak

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Lean 4 programming language and theorem prover

Lean 5,122 465 Updated Feb 27, 2025

A project to digitalise results from physics into Lean. (formerly called HepLean)

Lean 115 10 Updated Feb 27, 2025

A toy example of a verified compiler.

Lean 27 Updated Jan 19, 2025

A library for probabilistic programming in Haskell.

Jupyter Notebook 421 64 Updated Feb 23, 2025

Solutions to Advent of Code 2024 in Lean

Lean 6 Updated Dec 27, 2024

PHONK is a coding playground for new and old Android devices

Java 479 26 Updated Jul 29, 2023

🏵 An ultra-minimalist game engine

TypeScript 717 38 Updated Mar 26, 2022

A collection of community created AI tools to improve your life

Python 150 21 Updated Oct 15, 2024

deprecated, use Verified-zkEVM repository instead

Lean 20 1 Updated Jan 16, 2025

Kotlin Multiplatform Crypto/PKI/ASN.1 Library with Attestation and Hardware-Backed Crypto Support on Mobile

Kotlin 94 7 Updated Feb 27, 2025

Kotlin Multiplatform cryptography / crypto library

Kotlin 375 22 Updated Jan 19, 2025

A full-featured browser reference implementation using Mozilla Android Components.

Kotlin 609 175 Updated Feb 26, 2025

Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean

Lean 53 13 Updated Feb 17, 2025
HTML 8 Updated Dec 14, 2023

SampCert : Verified Differential Privacy

Lean 71 7 Updated Aug 20, 2024

Scientific computing in Lean 4

Lean 369 32 Updated Feb 27, 2025

Language based on Rewriting Logic

C++ 101 11 Updated Jan 21, 2025

Symbolic financial contract EDSL

Coq 38 9 Updated Aug 26, 2020

This package provides an interface and foundation for verified SAT reasoning

Lean 51 7 Updated Aug 29, 2024

Definitional implementation of Cedar language and utilities for DRT

Lean 103 18 Updated Feb 27, 2025

A support library for working with zero knowledge cryptography in Lean 4.

Lean 34 4 Updated Jan 22, 2025

White-box automation for Lean 4

Lean 240 30 Updated Feb 27, 2025

Natural language tactics to teach mathematics using Lean 4

Lean 60 12 Updated Feb 26, 2025

Neovim support for the Lean theorem prover

Lua 325 29 Updated Feb 27, 2025

Rudimentary Roam replica with Org-mode

Emacs Lisp 5,623 485 Updated Feb 18, 2025

A personal knowledge management and sharing system for VSCode

TypeScript 15,725 680 Updated Feb 21, 2025

Vim-fork focused on extensibility and usability

Vim Script 86,718 5,896 Updated Feb 27, 2025

Modernity meets insane extensibility. The future of organizing your life in Neovim.

Lua 6,712 222 Updated Feb 25, 2025

Library implementing type inference/checking functionality based on the Lean theorem prover

Rust 53 2 Updated Jun 28, 2024

Lean documentation authoring tool

Lean 144 16 Updated Feb 23, 2025
Next
Showing results