vibecoding, but correct and safe and secure and
☆24Apr 22, 2026Updated 2 months ago
Alternatives and similar repositories for awesome-secure-program-synthesis
Users that are interested in awesome-secure-program-synthesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated last year
- A lazy subset of JavaScript☆32Jan 27, 2026Updated 5 months ago
- Dafny verifies proofs; claimcheck confirms intent.☆27Jul 5, 2026Updated 2 weeks ago
- ☆19Apr 5, 2025Updated last year
- Conservative floating point interval arithmetic in Lean☆26Jan 20, 2026Updated 6 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆35Updated this week
- ☆13Apr 10, 2025Updated last year
- A Framework for Evaluating AI Agent Safety in Realistic Environments☆38Oct 2, 2025Updated 9 months ago
- A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2☆34Mar 9, 2026Updated 4 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- This project offers a cluster API bootstrap provider controller that manages the node provision of a MicroK8s cluster.☆25Apr 9, 2026Updated 3 months ago
- Hand-written verified Lean solutions for the HumanEval benchmark☆30Mar 27, 2026Updated 3 months ago
- A Lean 4 Jupyter kernel via repl☆37Nov 19, 2024Updated last year
- The Official PyTorch implementation of Shared LoRA Subspaces for almost Strict Continual Learning☆33May 7, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Content for cloud computing workshop☆15Apr 20, 2018Updated 8 years ago
- turn small javascript functions into GPT function calls☆12Aug 23, 2023Updated 2 years ago
- An AI character interaction system with emotional modeling and advanced memory management☆17Oct 26, 2024Updated last year
- Global CoT Analysis: Initial attempts to uncover patterns across many chains of thought☆20Feb 10, 2026Updated 5 months ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- ☆40Jun 5, 2026Updated last month
- Verified efficient algorithms in Lean4.☆40Jan 3, 2026Updated 6 months ago
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆36May 7, 2026Updated 2 months ago
- Using ASTs and CUE to describe multi-language linters and fixers☆15May 11, 2026Updated 2 months ago
- BoSy is a reactive synthesis tool based on constraint-solving☆22Aug 3, 2023Updated 2 years ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 6 years ago
- survery of small language models☆18Jul 23, 2024Updated last year
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- Tool Support, Extensibility & Interfacing for GOLOG languages☆14Nov 6, 2023Updated 2 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 8 years ago
- a pure-Go Prometheus exporter for the eBPF Linux subsystem☆30May 21, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CargoCoin is designed to be a smart contract, crypto currency platform, decentralising global trade and transport. The platform target is…☆13Aug 8, 2018Updated 7 years ago
- Anudit Verma's blog:☆18Jul 3, 2026Updated 2 weeks ago
- Random notes on mathematics (in German)☆13Jul 8, 2026Updated last week
- Large scale server deploys using BitTorrent and the BitTornado library☆11Sep 25, 2018Updated 7 years ago
- A Python library for logic formalisms representation and manipulation.☆16Jan 21, 2024Updated 2 years ago
- ☆15Apr 16, 2021Updated 5 years ago
- A minimalist implementation of type theory, suitable for experimentation☆16Jun 13, 2026Updated last month