Alternatives and similar repositories for snek-LMS

Users that are interested in snek-LMS are comparing it to the libraries listed below

• TiarkRompf / lms-clean

  View on GitHub
  ☆56Apr 25, 2025Updated 9 months ago
• ilyasergey / reachability

  View on GitHub
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Nov 24, 2015Updated 10 years ago
• feiwang3311 / Lantern

  View on GitHub
  ☆172Apr 20, 2021Updated 4 years ago
• tribbloid / shapesafe

  View on GitHub
  SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
  ☆32Sep 9, 2025Updated 5 months ago
• stanford-ppl / argon

  View on GitHub
  Scala staging framework
  ☆18Jul 13, 2018Updated 7 years ago
• rhyme-lang / rhyme

  View on GitHub
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Updated this week
• namin / lms-verify

  View on GitHub
  generative programming & verification
  ☆34Jun 19, 2025Updated 7 months ago
• Kraks / sai

  View on GitHub
  Staged Abstract Interpreters
  ☆69Mar 13, 2023Updated 2 years ago
• TobiReinhart / sparse-tensor

  View on GitHub
  typesafe implementation of tensor algebra in Haskell
  ☆13Feb 27, 2021Updated 4 years ago
• OPLSS / oplss-notes-2021

  View on GitHub
  Materials for OPLSS 2021
  ☆11Jun 1, 2021Updated 4 years ago
• IBM / pyflowgraph

  View on GitHub
  Flow graphs for Python
  ☆27Sep 21, 2022Updated 3 years ago
• TiarkRompf / minidot

  View on GitHub
  Dependent Object Types (DOT), bottom up
  ☆89Jan 9, 2022Updated 4 years ago
• TiarkRompf / virtualization-lms-core

  View on GitHub
  A Framework for Runtime Code Generation and Compiled DSLs
  ☆332Feb 27, 2019Updated 6 years ago
• ellisk42 / LambdaBeam

  View on GitHub
  ☆13Dec 31, 2023Updated 2 years ago
• em-MRCZ / python-mrcz

  View on GitHub
  Python module for compressed MRCZ-file format
  ☆14Sep 13, 2024Updated last year
• David-Durst / embeddedHaskellAetherling

  View on GitHub
  ☆30Oct 16, 2022Updated 3 years ago
• lubieowoce / sumtype

  View on GitHub
  A namedtuple-style library for defining immutable sum types in Python.
  ☆27Apr 20, 2021Updated 4 years ago
• elevate-lang / elevate

  View on GitHub
  The implementation of the Elevate language
  ☆30Mar 21, 2025Updated 10 months ago
• David-Durst / aetherling

  View on GitHub
  Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python
  ☆13Mar 29, 2021Updated 4 years ago
• jaberg / pyautodiff

  View on GitHub
  Automatic differentiation for NumPy
  ☆42Jun 14, 2013Updated 12 years ago
• eed3si9n / sudori

  View on GitHub
  ☆12Nov 12, 2021Updated 4 years ago
• ryneeverett / mkcodes

  View on GitHub
  A command-line utility for pulling code blocks out of markdown files.
  ☆15Sep 19, 2021Updated 4 years ago
• LaurentRDC / iris-ued

  View on GitHub
  Ultrafast electron scattering data exploration
  ☆17Nov 13, 2024Updated last year
• uwplse / stng

  View on GitHub
  compiler for fortran stencils using verified lifting,
  ☆19Apr 5, 2022Updated 3 years ago
• freeman-lab / array-olympics

  View on GitHub
  Comparing ndarray abstractions for complex workflows
  ☆15Sep 22, 2015Updated 10 years ago
• kmicinski / program-analysis-examples

  View on GitHub
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Nov 6, 2019Updated 6 years ago
• euschn / ingpu

  View on GitHub
  GPU-based interaction nets evaluator
  ☆16Nov 30, 2011Updated 14 years ago
• Trepan-Debuggers / trepan-xpy

  View on GitHub
  Debugger in the Trepan family for x-python
  ☆17Oct 14, 2025Updated 4 months ago
• gregr / dKanren

  View on GitHub
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆17Mar 28, 2020Updated 5 years ago
• ilyasergey / monadic-cfa

  View on GitHub
  Generic implementation of different CFA families based on monadic decomposition
  ☆23Jan 16, 2013Updated 13 years ago
• rishabhs / sygus-comp14

  View on GitHub
  ☆40Apr 17, 2019Updated 6 years ago
• androidscala213 / AndroidScala213

  View on GitHub
  Minimal android example to compile and run an app running with Scala 2.13
  ☆17Apr 13, 2021Updated 4 years ago
• mikesperber / icfp2020

  View on GitHub
  Material for ICFP 2020 tutorial on functional software architecture
  ☆17Sep 4, 2020Updated 5 years ago
• MKhalusova / ML-JVM

  View on GitHub
  Curated list of machine learning and deep learning frameworks and resources for JVM
  ☆20Dec 9, 2020Updated 5 years ago
• raviqqe / fmm

  View on GitHub
  The uncurried minimal functional programming language for CPS transformation
  ☆19Feb 23, 2024Updated last year
• StagedHPC / shonan-challenge

  View on GitHub
  ☆31Jun 4, 2014Updated 11 years ago
• google / pyctr

  View on GitHub
  ☆22Jul 31, 2019Updated 6 years ago
• jampp / sharedbuffers

  View on GitHub
  ☆21Sep 10, 2025Updated 5 months ago
• epfldata / sc-public

  View on GitHub
  Example DSLs for working with SC
  ☆22Sep 22, 2017Updated 8 years ago