Alternatives and similar repositories for leanverifier:

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

• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated 11 months ago
• morgangiraud / text-to-sql-proto
  A text-to-SQL prototype on the northwind sqlite dataset
  ☆12Updated 6 months ago
• JuliaHealth / BloodFlowTrixi.jl
  This package implements 1D and 2D blood flow models for arterial circulation using Trixi.jl, enabling efficient numerical simulation and …
  ☆37Updated this week
• AugmendTech / treeseg
  Hierarchical topic segmentation of meeting transcripts using embeddings and divisive clustering.
  ☆52Updated 7 months ago
• Dobiasd / treebomination
  convert a scikit-learn decision tree into a Keras model
  ☆39Updated last year
• JosephSBoyle / skip_gram
  This is a numpy implementation of the Skip-gram algorithm described in Mikolov et al's Word2Vec paper. It is intended for didactic purpos…
  ☆35Updated last year
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 11 months ago
• xetdata / xetcache
  ☆58Updated last year
• tearflake / flake-ui
  fractal-structure inspired, parent-children orbiting, zooming-elements based graph visualization user interface
  ☆127Updated 3 weeks ago
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆23Updated last year
• Dicklesworthstone / grassmann_article
  ☆50Updated 9 months ago
• Dicklesworthstone / the_lighthill_debate_on_ai
  A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks
  ☆28Updated last year
• jmward01 / lmplay
  A playground to make it easy to try crazy things
  ☆33Updated this week
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆56Updated 9 months ago
• eschluntz / PytorchBridge
  Designing bridge trusses with Pytorch autograd
  ☆61Updated last year
• LovetheFrogs / OptiGraph
  Optimum graph creation and distribution for underground networks.
  ☆33Updated 9 months ago
• rodlaf / BinaryGPUIndex
  A GPU Accelerated Binary Vector Store
  ☆47Updated last month
• dpaleka / llm-chess-proofgame
  LLMs playing chess are sensitive to how the position came to be
  ☆20Updated last year
• vagos / llm-sort
  Sort input lines semantically with llm
  ☆107Updated last month
• pyrustic / jinbase
  Multi-model transactional embedded database
  ☆68Updated 3 months ago
• devidw / inferit
  Visual inference exploration & experimentation playground
  ☆88Updated 3 months ago
• GreatTA1998 / explanations.io
  Web platform for blackboard-video explanations
  ☆18Updated last week
• ccli3896 / RLWorms
  Setting up C elegans as an RL environment.
  ☆14Updated 11 months ago
• alt-text-org / image-algo-testing
  Testing various image matching algorithms' performance on the Pinecone vector DB
  ☆43Updated last year
• kuzudb / wasm-linkedin-example
  ☆43Updated last month
• MNoorFawi / lzhw
  Compression suite for data frames and tabular data files, csv, excel etc. Using LZHW algorithm.
  ☆30Updated 7 months ago
• ClemHeyd / PCR7500
  Craziness.
  ☆28Updated last month
• arc-eng / cli
  Command-line interface for the Arcane Engine
  ☆44Updated 4 months ago
• zerocorebeta / Option-K
  ☆27Updated 6 months ago
• rentruewang / bocoel
  Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…
  ☆281Updated last month