Alternatives and similar repositories for iceberg

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

• revalo / tree-diffusion
  Diffusion on syntax trees for program synthesis
  ☆474Updated last year
• cambrian-org / ACI
  ☆40Updated 3 weeks ago
• google-deepmind / treescope
  An interactive HTML pretty-printer for machine learning research in IPython notebooks.
  ☆445Updated last month
• chalk-diagrams / chalk
  A declarative drawing API in Python
  ☆296Updated last year
• valine / training-hot-swap
  Pytorch script hot swap: Change code without unloading your LLM from VRAM
  ☆125Updated 5 months ago
• breuleux / ovld
  Advanced multiple dispatch for Python functions
  ☆373Updated last week
• facebookresearch / searchformer
  Official codebase for the paper "Beyond A* Better Planning with Transformers via Search Dynamics Bootstrapping".
  ☆373Updated last year
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆282Updated 5 months ago
• patrick-kidger / patdb
  A snappy + easy + pretty TUI debugger for Python.
  ☆66Updated 2 months ago
• eladrich / pyrallis
  Pyrallis is a framework for structured configuration parsing from both cmd and files. Simply define your desired configuration structure …
  ☆241Updated last year
• patrick-kidger / tinyio
  Ever used asyncio and wished you hadn't? A tiny (~300 lines) event loop for Python.
  ☆586Updated last month
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆205Updated this week
• akarshkumar0101 / fer
  Code for the Fractured Entangled Representation Hypothesis position paper!
  ☆196Updated 4 months ago
• keyonvafa / world-model-evaluation
  ☆65Updated 10 months ago
• google-deepmind / s6
  ☆150Updated 3 years ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated last month
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆66Updated last month
• FlorianDietz / comgra
  A tool to analyze and debug neural networks in pytorch. Use a GUI to traverse the computation graph and view the data from many different…
  ☆290Updated 9 months ago
• modula-systems / modula
  🧱 Modula software package
  ☆237Updated last month
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆96Updated 6 months ago
• captain-pool / hydra-wandb-sweeper
  WandB sweeps integration with Hydra sweeper
  ☆51Updated last year
• outergroup / vexpr
  Write your code as tree-like expressions, then transform it
  ☆21Updated last year
• Metta-AI / metta
  A reinforcement learning codebase focusing on the emergence of cooperation and alignment in multi-agent AI systems.
  ☆95Updated this week
• r2d4 / parserllm
  Use context-free grammars with an LLM
  ☆173Updated last year
• anthropics / PySvelte
  A library for bridging Python and HTML/Javascript (via Svelte) for creating interactive visualizations
  ☆196Updated 3 years ago
• lab-v2 / pyreason
  An explainable inference software supporting annotated, real valued, graph based and temporal logic
  ☆296Updated this week
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆58Updated 4 years ago
• ericyuegu / hal
  Training AI for Super Smash Bros. Melee
  ☆30Updated 5 months ago
• apple / ml-mycelium
  Interactive web viewer for exploring large neural networks—powers the graph visualization of Talaria
  ☆66Updated 11 months ago
• BricksRL / bricksrl
  BricksRL: A Platform for Democratizing Robotics and Reinforcement Learning Research and Education with LEGO
  ☆63Updated 11 months ago