vibecoding, but correct and safe and secure and
☆29Apr 22, 2026Updated 6 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:
- ☆14Feb 22, 2026Updated 8 months ago
- Render and run context-rich Lean 4 prompts in VS Code.☆11Aug 14, 2025Updated last year
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated last year
- MicroK8s Cluster Agent☆10Sep 21, 2026Updated last month
- Repository for "Training Language Models To Explain Their Own Computations"☆41Jul 7, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A formal proof of an exponentially better upper bound on Ramsey numbers☆19Oct 22, 2023Updated 3 years ago
- Dafny verifies proofs; claimcheck confirms intent.☆33Updated this week
- A tool to generate a randomized 2D-image NFT collection based on NFT layers☆13Oct 21, 2021Updated 5 years ago
- Content for cloud computing workshop☆15Apr 20, 2018Updated 8 years ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆51Apr 22, 2026Updated 6 months ago
- ☆13Apr 10, 2025Updated last year
- [EMNLP 25] An effective and interpretable weight-editing method for mitigating overly short reasoning in LLMs, and a mechanistic study un…☆21Aug 24, 2026Updated 2 months ago
- Conservative floating point interval arithmetic in Lean☆29Oct 14, 2026Updated 2 weeks ago
- The scripts to build and test kubernetes in jenkins. Report bugs at https://bugs.launchpad.net/charmed-kubernetes.☆10Oct 22, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Provides support for attachment management for Taskwarrior☆12Apr 19, 2012Updated 14 years ago
- A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2☆35Mar 9, 2026Updated 7 months ago
- Virtual Classes for Scala implemented as annotation macro☆11Aug 27, 2014Updated 12 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Oct 18, 2026Updated 2 weeks ago
- An experimental type theory with scoped equality reflection, and non-arbitrary proof search. This is basically a pared down version of An…☆12Jul 27, 2014Updated 12 years ago
- Trying to make a MNIST digit classifier from python numpy☆12Dec 11, 2024Updated last year
- Conversion of distortion representations in FITS headers between SIP and TPV formats☆12Oct 23, 2025Updated last year
- Open-source web app for listening to music collaboratively☆11Jun 25, 2013Updated 13 years 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.
- Internalizing intensional type theory☆12Jun 20, 2015Updated 11 years ago
- Hand-written verified Lean solutions for the HumanEval benchmark☆33Mar 27, 2026Updated 7 months ago
- Collection of tactics I've found useful in Coq☆11Sep 30, 2016Updated 10 years ago
- simple web service in lean4☆19Jan 30, 2026Updated 9 months ago
- Extended, multi-agent, and multi-objective (MaMoRL / MoMaRL) gridworld environments building framework based on DeepMind's AI Safety Grid…☆12Jun 21, 2026Updated 4 months ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- A curated collection of specialized skills, designed to enhance AI-assisted workflows☆11Sep 15, 2026Updated last month
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Figi is a small macro based utility for Scala 2.11 that allows you to easily create simple type-safe wrappers for configuration objects.☆10Jan 31, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- MicroMix: Efficient Mixed-Precision Quantization with Microscaling Formats for Large Language Models☆32Apr 2, 2026Updated 7 months ago
- An AI character interaction system with emotional modeling and advanced memory management☆17Aug 6, 2026Updated 2 months ago
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆37Updated this week
- Haskell bindings for Bitcoin RPC☆13Apr 4, 2017Updated 9 years ago
- Selenium Output format for Specs2☆11Jan 3, 2012Updated 14 years ago
- Global CoT Analysis: Initial attempts to uncover patterns across many chains of thought☆20Feb 10, 2026Updated 8 months ago
- The Official PyTorch implementation of Shared LoRA Subspaces for almost Strict Continual Learning☆39Oct 5, 2026Updated 3 weeks ago