owlx56 / zed-lean4View external linksLinks
☆27Jan 31, 2026Updated 2 weeks ago
Alternatives and similar repositories for zed-lean4
Users that are interested in zed-lean4 are comparing it to the libraries listed below
Sorting:
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆41Jan 3, 2025Updated last year
- Jupyter notebook for the Lean4 programming language☆26Apr 25, 2022Updated 3 years ago
- Swiss army knife for cleanly managing both static and dynamic collections of child components via Cycle.js and Most.js☆23Dec 5, 2016Updated 9 years ago
- A formalization of ML kernel languages☆41Feb 6, 2026Updated last week
- Formalization of the Millennium Problems in Lean 4☆41Jan 16, 2026Updated 3 weeks ago
- Prime Numbers for Haskell☆46Apr 29, 2011Updated 14 years ago
- Typewriter component for Svelte that actually "types" one character at a time☆16Jan 23, 2026Updated 3 weeks ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Jan 5, 2026Updated last month
- ☆12Dec 19, 2023Updated 2 years ago
- A ratatui based vertical and horizontal slider.☆35Jan 7, 2026Updated last month
- SipHash function for PHP☆16Feb 2, 2021Updated 5 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Strong (duck) typing for Ruby☆26Nov 20, 2014Updated 11 years ago
- ☆12Oct 4, 2024Updated last year
- Code and slides for Codemania 'Monads to the Rescue' presentation☆21May 12, 2014Updated 11 years ago
- A Font with extensive coverage of Unicode13 as of March 2020 (part of Unicode Fonts for Ancient Scripts)☆15Mar 26, 2020Updated 5 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆19Feb 6, 2026Updated last week
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Rust UI components for GPUI☆15Nov 9, 2025Updated 3 months ago
- LZMA handling library.☆11May 2, 2017Updated 8 years ago
- ☆10Oct 17, 2017Updated 8 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- Library for literal 128-bit integers in C++☆11Nov 18, 2025Updated 2 months ago
- ☆11Aug 1, 2016Updated 9 years ago
- Nald'thal the Traders.☆11Nov 4, 2018Updated 7 years ago
- DNS over HTTPS with aiohttp☆12Sep 12, 2020Updated 5 years ago
- Rust NIF for fast JWT signing☆10Feb 5, 2026Updated last week
- ☆12Feb 4, 2024Updated 2 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- fast utf-8 character sets☆14Mar 3, 2025Updated 11 months ago
- Unit testing React components with Tape in ES6☆12Feb 25, 2016Updated 9 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- Graph.js is an MVC-like framework for building web applications using the graph data model☆13Oct 28, 2015Updated 10 years ago
- A noun representation in Rust☆11Mar 10, 2023Updated 2 years ago
- Synchronization primitives for both web and native.☆16Jan 19, 2024Updated 2 years ago
- ☆12Jun 21, 2023Updated 2 years ago
- A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notat…☆16Mar 11, 2012Updated 13 years ago
- Multi-party computation utilities toolkit for rust☆16Dec 19, 2019Updated 6 years ago
- A Purescript interface to xstream☆11Nov 11, 2017Updated 8 years ago