Alternatives
Products that do what Lapisla – A Theorem Proving Platform for Openness and Reusability does
Hey HN! We built *lapisla*, a theorem proving platform designed to make formal proofs more open and collaborative. We developed a kernel, editor, proof registry, and platform ── all accessible directly in the browser. Why we built this: Existing theorem provers are powerful, but they often feel isolated and difficult to extend. Unlike modern programming languages, which thrive on package managers and shared libraries, theorem proving tools lack a seamless way to integrate others' work. lapisla aims to bridge this gap by: * Offering a verified public proof registry for sharing and discovering…
- 1DT
2021 · github.com
- 2IS
Everything that would be here is in the README. I hope this gets big, it has tons of potential.
2013 · github.com
- 3CF
2015 · braveclojure.com
- 4CA
2012 · circular.io
- 5EA
2019 · github.com
- 6CA
2015 · github.com
- 7ZK
2019 · zkwasm.kobi.one
- 8PC
2017 · proofcompanion.com
- 9DE
2020 · github.com
- 10LP
Hi! I am doing a learning project, attempting to build an imperative language (and interpreter). The end product will be useless for others, I just want to learn and better understand how to build imperative languages. :) If someone else shares this interest and want to give some good hints on good resources I would be grateful. Currently I am looking at an awesome text by Bob Nystrom. All suggestions and tips on resources are most welcome. I am very much a beginner in this, but I find this topic very fascinating. Mail me or post links here! Cheers! You can try a beta version Online at…
2020
- 11TA
2017 · github.com
- 12E0
2017 · github.com
- 13LLambdaway▲29
I am working on this project, http://epsilonwiki.free.fr/lambdaway/, and would be happy to get your opinion back. Thanks a lot. Alain Marty
2016
- 14SA
Hi HN, This is ProofTree, and in TLDR: it is a platform where you can chat with an AI to do math, the way you already do, with context-awareness and knows how you personally do math, connected to the fora of other live human mathematicians. So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it! You need an approved email account to use it, so please write here if you would live to try it out.
Jul 2026 · prooftree.ai
- 15IB
I've always been fascinated by cryptographic principles, so I decided to dive deep into zero-knowledge proofs and implement a Groth16 proof verifier entirely in Rust. This project validates cryptographic proofs and demonstrates how succinct, verifiable computations can be achieved. Using Rust's powerful libraries like arkworks, I implemented pairing checks, public input commitments, and proof validation logic while ensuring the code remains modular and efficient. I handled the complexities of affine group operations, scalar multiplications, and optimized public input verification to make…
2024 · github.com
- 16LA
2019 · github.com
- 17TL
2022 · github.com
- 18AC
I built this toolkit with my colleague to dive deep into OS internals and automate the identification of privilege escalation vectors. Written in pure C without external dependencies, it explores everything from Linux capabilities and Docker escapes to Windows token manipulation and service permissions. We believe that the constant struggle between breaking and securing systems is the ultimate driver of software evolution. This tool is our contribution to that cycle, designed for researchers who want to understand how low-level misconfigurations can be discovered and audited across different…
Jan 2026
- 19IB
Disclaimer it is a heavily AI assisted project. The goal was not to be the most performative but the kind that's easier to learn from. I wanted to share this in case there are people who had the same idea or wanted to see something like this.
Jun 2026 · github.com
- 20AS
2018 · bwasti.com
- 21IO
Hey folks, I’m the creator of WFGY — a semantic reasoning framework for LLMs. After open-sourcing it, I did a full technical and value audit — and realized this engine might be worth $8M–$17M based on AI module licensing norms. If embedded as part of a platform core, the valuation could exceed $30M. Too late to pull it back. So here it is — fully free, open-sourced under MIT. --- ### What does it solve? Current LLMs (even GPT-4+) lack *self-consistent reasoning*. They struggle with: - Fragmented logic across turns - No internal loopback or self-calibration - No modular thought units - Weak…
2025 · github.com
- 22NA
2023 · github.com
- 23TN
Hi guys, I’m excited to share an update on ReproModel, an open-source toolbox designed to streamline the testing and reproduction of machine learning models. I, like many of you, have really struggled with benchmarking and comparing models, from missing code, to opaque experiment parameters slowing the process. I decided to take matters into my own hands, and created a mini-toolbox in my free time to streamline the process. The goal is to reduce the time and effort spent on replicating experiments, enabling researchers to focus on innovation rather than setup. Knowing this task is not an…
2024 · github.com
- 24DC
Hi there! I'm building Diagrammatic, a simple and free online tool with the ambition to become a community for diagrams-as-code enthusiasts. Currently, it supports Mermaid, PlantUML, Dot (Graphviz), Vega-Lite, and Typogram, but I'm looking to add more languages. Please let me know if there's a particular one you use. I'd appreciate any kind of constructive feedback as well. Thanks in advance!
2024 · diagrammatic.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →