kodless-org / kodlessLinks
Create websites without writing any code
☆13Updated last year
Alternatives and similar repositories for kodless
Users that are interested in kodless are comparing it to the libraries listed below
Sorting:
- L4 - rules-as-code - is an open-source functional specification language for business rules, legal contracts, and legislation/regulation,…☆24Updated this week
- A monad for interfacing with external SMT solvers☆15Updated last month
- ☆10Updated 2 months ago
- Generate ER-diagram using SQL file☆17Updated last year
- ☆111Updated last year
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆79Updated 6 months ago
- LLM-powered typed-holes☆55Updated 9 months ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Updated this week
- ☆34Updated 2 months ago
- SWI-Prolog WebAssembly build as a NPM package☆58Updated last week
- Evaluator for the A::B Prompting Challenge☆27Updated last year
- a categorical deep learning compiler☆207Updated 4 months ago
- Haskell bindings to llama.cpp☆12Updated 2 years ago
- A Haskell probabilistic programming library.☆21Updated last week
- HVM3☆277Updated last week
- Lean for Scientists and Engineers, course taught in Summer 2024☆25Updated last year
- Pure, statically typed, content-addressable, programming language for spreadsheet use☆29Updated 2 years ago
- A minimal proof checker.☆79Updated last year
- How to read Lean☆22Updated last year
- Data-linked visualisations☆59Updated last week
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆124Updated 2 weeks ago
- open-source, tested backend to protect LLM keys in your app☆15Updated 2 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆146Updated this week
- A tiny autograd engine with a Jax-like API☆74Updated 7 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆43Updated last week
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 4 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Updated 2 weeks ago
- Formalizing stochastic doubly-efficient debate☆118Updated last year
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆52Updated last month