proof-pad
Web IDE
A web-based IDE for writing and verifying ACL2 functions and theorems using a modern editor or REPL interface.
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
9 stars
1 watching
2 forks
Language: TypeScript
last commit: 8 months ago
Linked from 1 awesome list
codyreichert/awesome-clRelated projects:
| Repository | Description | Stars |
|---|---|---|
 brettz9/eslint-config-ash-nazg | A comprehensive configuration for JavaScript projects with enhanced error checking and code quality control. | 6 |
 nxtchg/pieces | A collection of reusable building blocks for web development, including components and libraries for various programming languages. | 142 |
 nereumelo/zod-sandbox | An interactive web application for testing and experimenting with data validation libraries. | 13 |
 alan345/ter | A full-stack web application built with TypeScript, tRPC, Express, and React, focusing on developer experience and efficiency. | 773 |
 christophejunke/cl-infinidash | A Lisp API to an Amazon Web Services reactive cryptography service | 0 |
 lukebuehler/cshell | An interactive C# scripting environment with a read-eval-print-loop (REPL) for direct code evaluation and execution. | 703 |
 cocobelgica/autohotkey-serdes | Software to convert AutoHotkey object structures into human-readable strings or binary files. | 14 |
 deepak-singh/vue-blog-pwa | A Vue.js application demonstrating authentication and UI manipulation using REST APIs with Django-Tastypie Backend | 22 |
 mmuller88/cdk-alps-spec-rest-api | An AWS CDK construct that generates an API Gateway from an ALPS API YAML file | 6 |
 apriorit/findidl | Provides a CMake module for building and generating type libraries from IDL files using MIDL and Tlbimp. | 27 |
 nathanmarz/cascalog | A library for data processing and querying on large datasets without the need for Hadoop expertise | 1,375 |
 charlie5/lace | A set of reusable Ada components for building 3D simulations, games, and GUI applications. | 8 |
 apoorvtyagi/apoorvtyagi | A personal showcase and blog for a Backend Engineering Lead sharing technical insights and experiences. | 138 |
 haskell-things/implicitcad | A Haskell-based CAD program that supports CSG, bevels, and shells, as well as 2D & 3D geometry and GCode generation. | 1,415 |
 avi-d-coder/implicit-hie | Automates the creation of cabal or stack configuration files for multi-component Haskell projects. | 204 |