kodless-org / kodlessLinks
Create websites without writing any code
☆12Updated last year
Alternatives and similar repositories for kodless
Users that are interested in kodless are comparing it to the libraries listed below
Sorting:
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆67Updated 3 months ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆13Updated this week
- A monad for interfacing with external SMT solvers☆15Updated 11 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆77Updated 4 months ago
- ☆106Updated 11 months ago
- Generate ER-diagram using SQL file☆16Updated 10 months ago
- LLM-powered typed-holes☆48Updated 6 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆126Updated this week
- Categorica: a pure and applied category theory framework for the Wolfram Language☆33Updated last year
- ☆35Updated 3 months ago
- open-source, tested backend to protect LLM keys in your app☆15Updated 3 weeks ago
- a categorical deep learning compiler☆204Updated last month
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆40Updated this week
- How to read Lean☆19Updated 9 months ago
- A minimal proof checker.☆76Updated last year
- Formalizing stochastic doubly-efficient debate☆112Updated last year
- functional spreadsheet programming☆20Updated 7 months ago
- ☆16Updated 4 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last month
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆65Updated 4 years ago
- A MCP server for symbolic manipulation of mathematical expressions☆42Updated 4 months ago
- RASP-L in Haskell for my fellow rascals☆19Updated last year
- explore token trajectory trees on instruct and base models☆148Updated 5 months ago
- (early experiments toward) a version-control system for structured data☆19Updated 2 years ago
- A SolidJS diagramming framework☆74Updated last year
- A template for blueprint-driven formalization projects in Lean.☆75Updated last month
- ☆13Updated 7 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last month
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆34Updated 3 months ago
- Haskell bindings to llama.cpp☆12Updated last year