Alternatives and similar repositories for kodless

Users that are interested in kodless are comparing it to the libraries listed below

• smucclaw / l4-ide
  L4 - rules-as-code - is an open-source functional specification language for business rules, legal contracts, and legislation/regulation,…
  ☆24Updated this week
• bruderj15 / Hasmtlib
  A monad for interfacing with external SMT solvers
  ☆15Updated last month
• lambdamechanic / miniTSis
  ☆10Updated 2 months ago
• tusharad / sql2er
  Generate ER-diagram using SQL file
  ☆17Updated last year
• adamnemecek / traceoid.ai
  ☆111Updated last year
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆79Updated 6 months ago
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆55Updated 9 months ago
• namin / dafny-sketcher
  piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…
  ☆16Updated this week
• outervation / promptyped
  ☆34Updated 2 months ago
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆58Updated last week
• VictorTaelin / ab_challenge_eval
  Evaluator for the A::B Prompting Challenge
  ☆27Updated last year
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆207Updated 4 months ago
• ddellacosta / llama.cpp-bindings
  Haskell bindings to llama.cpp
  ☆12Updated 2 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated last week
• HigherOrderCO / HVM3
  HVM3
  ☆277Updated last week
• ATOMSLab / LFSE2024
  Lean for Scientists and Engineers, course taught in Summer 2024
  ☆25Updated last year
• chrisdone-archive / inflex
  Pure, statically typed, content-addressable, programming language for spreadsheet use
  ☆29Updated 2 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆79Updated last year
• madvorak / read-lean
  How to read Lean
  ☆22Updated last year
• explorable-viz / fluid
  Data-linked visualisations
  ☆59Updated last week
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆124Updated 2 weeks ago
• backmesh / backmesh
  open-source, tested backend to protect LLM keys in your app
  ☆15Updated 2 months ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆146Updated this week
• joelburget / microjax
  A tiny autograd engine with a Jax-like API
  ☆74Updated 7 months ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆43Updated last week
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆33Updated 4 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆38Updated 2 weeks ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆118Updated last year
• emilyriehl / ReintroductionToProofs
  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