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:
- ☆111Updated last year
- A monad for interfacing with external SMT solvers☆15Updated last month
- L4 - rules-as-code - is an open-source functional specification language for business rules, legal contracts, and legislation/regulation,…☆24Updated this week
- ☆34Updated 2 months ago
- A minimal proof checker.☆79Updated last year
- Generate ER-diagram using SQL file☆17Updated last year
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Updated this week
- ☆10Updated 2 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆75Updated 6 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆146Updated this week
- Data-linked visualisations☆59Updated last week
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆80Updated 7 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- LLM-powered typed-holes☆55Updated 9 months ago
- Formalizing stochastic doubly-efficient debate☆118Updated last year
- a categorical deep learning compiler☆207Updated 4 months ago
- HVM3☆277Updated last week
- Haskell bindings to llama.cpp☆12Updated 2 years ago
- A curated list of projects and resources using BAML☆17Updated 6 months ago
- A tiny autograd engine with a Jax-like API☆74Updated 7 months ago
- explore token trajectory trees on instruct and base models☆150Updated 8 months ago
- RASP-L in Haskell for my fellow rascals☆20Updated 2 years ago
- Evaluator for the A::B Prompting Challenge☆27Updated last year
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆124Updated 2 weeks ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 4 months ago
- A MCP server for symbolic manipulation of mathematical expressions☆53Updated 7 months ago
- ☆16Updated last year
- ☆26Updated last year
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆63Updated last year