proof-pad
by calebegg
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
AI summary
Web IDE
A web-based IDE for writing and verifying ACL2 functions and theorems using a modern editor or REPL interface.
- stars
- 9
- forks
- 2
- watching
- 1
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Code quality checker
A comprehensive configuration for JavaScript projects with enhanced error checking and code quality control.
Web dev library
A collection of reusable building blocks for web development, including components and libraries for various programming languages.
Validation playground
An interactive web application for testing and experimenting with data validation libraries.
alan345/ter773
Web app boilerplate
A full-stack web application built with TypeScript, tRPC, Express, and React, focusing on developer experience and efficiency.
Cryptography API
A Lisp API to an Amazon Web Services reactive cryptography service
Scripting IDE
An interactive C# scripting environment with a read-eval-print-loop (REPL) for direct code evaluation and execution.
Object serializer
Software to convert AutoHotkey object structures into human-readable strings or binary files.
Blog app
A Vue.js application demonstrating authentication and UI manipulation using REST APIs with Django-Tastypie Backend
API Generator
An AWS CDK construct that generates an API Gateway from an ALPS API YAML file
Type library generator
Provides a CMake module for building and generating type libraries from IDL files using MIDL and Tlbimp.
Data processor
A library for data processing and querying on large datasets without the need for Hadoop expertise
Game Engine Library
A set of reusable Ada components for building 3D simulations, games, and GUI applications.
Portfolio website
A personal showcase and blog for a Backend Engineering Lead sharing technical insights and experiences.
CAD tool
A Haskell-based CAD program that supports CSG, bevels, and shells, as well as 2D & 3D geometry and GCode generation.
Project generator
Automates the creation of cabal or stack configuration files for multi-component Haskell projects.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions proof-pad.
