Alternatives and similar repositories for SSof

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

• jespb / Python-M3GP

  View on GitHub
  An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…
  ☆11Dec 3, 2025Updated 2 months ago
• VeronicaAlvarez / online-probabilistic-load-forecasting

  View on GitHub
  ☆10Jul 29, 2022Updated 3 years ago
• lahovniktadej / gatree

  View on GitHub
  Evolutionary decision trees
  ☆11Jun 16, 2025Updated 7 months ago
• senkuuuuu / Amadeus

  View on GitHub
  A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…
  ☆22Jul 28, 2025Updated 6 months ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• skoblov-lab / spliceai-reforged

  View on GitHub
  A GPU-friendly implementation of SpliceAI
  ☆11Dec 8, 2022Updated 3 years ago
• T-Brick / DateTime

  View on GitHub
  DateTime package for Lean 4
  ☆16Feb 28, 2024Updated last year
• bdsul / grape

  View on GitHub
  Repository to host the GRAPE code developed by the BDS group
  ☆13May 22, 2025Updated 8 months ago
• SoftwareFoundationGroupAtKyotoU / SystemFg

  View on GitHub
  Implementation of Polymorphic Gradual Typing
  ☆12Sep 16, 2018Updated 7 years ago
• Columpio / RInGen

  View on GitHub
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆13Aug 8, 2022Updated 3 years ago
• grantjenks / scikit-sequitur

  View on GitHub
  SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.
  ☆10Oct 13, 2021Updated 4 years ago
• Kha / do-supplement

  View on GitHub
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Feb 15, 2025Updated 11 months ago
• proost-assistant / ProostLean

  View on GitHub
  An reimplementation of the Proost proof-assistant written in Lean 4
  ☆12Mar 3, 2024Updated last year
• ChrisTimperley / RepairChain

  View on GitHub
  AIxCC: automated vulnerability repair via LLMs, search, and static analysis
  ☆11Jul 16, 2024Updated last year
• msreis / featsel

  View on GitHub
  An open-source framework for benchmarking of feature selection algorithms and cost functions.
  ☆10Mar 6, 2020Updated 5 years ago
• regehr / guided-tree-search

  View on GitHub
  heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape
  ☆14Jul 20, 2025Updated 6 months ago
• giorgia-nadizar / cgpax

  View on GitHub
  Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX
  ☆11Oct 28, 2025Updated 3 months ago
• panglesd / blogaml

  View on GitHub
  A prototype to write blog posts with executable ocaml code blocks
  ☆10Apr 25, 2025Updated 9 months ago
• andreasabel / java-adt

  View on GitHub
  A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).
  ☆16Jan 12, 2026Updated last month
• BrianOtto / Recto

  View on GitHub
  A String Manipulation Library for Wren
  ☆13Jul 22, 2017Updated 8 years ago
• Marghrid / FOREST

  View on GitHub
  Regular expression for form validations synthesizer
  ☆15Apr 17, 2025Updated 9 months ago
• argumentcomputer / RustFFI.lean

  View on GitHub
  Template for Lean<->Rust FFI
  ☆14Feb 11, 2024Updated 2 years ago
• crabbo-rave / Soup

  View on GitHub
  Extra and extended datatypes for Lean 4
  ☆12Nov 12, 2022Updated 3 years ago
• gergoerdi / hm-compo

  View on GitHub
  Compositional type checking for a Hindley-Milner type system
  ☆11Mar 28, 2017Updated 8 years ago
• squisher / stella

  View on GitHub
  DSL with focus on simulations: Compiling a subset of Python with LLVM for high-performance execution
  ☆11Nov 5, 2015Updated 10 years ago
• halfaya / BayHac

  View on GitHub
  ☆11Oct 20, 2017Updated 8 years ago
• naalit / durin

  View on GitHub
  the Dependent Unboxed higher-oRder Intermediate Notation
  ☆14Feb 8, 2022Updated 4 years ago
• ammkrn / timelib

  View on GitHub
  A date and time library for Lean 4
  ☆14Apr 12, 2025Updated 10 months ago
• plaidgroup / plaid-lang

  View on GitHub
  The Plaid Programming Language Tools
  ☆12Apr 11, 2015Updated 10 years ago
• mhirki / idq-bench2

  View on GitHub
  Instruction decoder microbenchmark suite
  ☆11Oct 31, 2017Updated 8 years ago
• bmourad01 / ocamlchess

  View on GitHub
  UCI-compatible chess engine in OCaml.
  ☆14Apr 20, 2025Updated 9 months ago
• mahf-opt / mahf

  View on GitHub
  A framework for modular construction and evaluation of metaheuristics.
  ☆13Dec 5, 2025Updated 2 months ago
• zhangir-azerbayev / mathlib-semantic-search

  View on GitHub
  ☆15Apr 12, 2023Updated 2 years ago
• john-tornblom / llvm-p86

  View on GitHub
  A compiler and mutation testing framework for the programming language Pascal-86
  ☆20Sep 12, 2014Updated 11 years ago
• automl / CARP-S

  View on GitHub
  A Framework for Comparing N Hyperparameter Optimizers on M Benchmarks.
  ☆19Updated this week
• rindPHI / islearn

  View on GitHub
  ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
  ☆16Mar 15, 2024Updated last year
• eugmes / imp

  View on GitHub
  Compiler for IMP programming language implemented in Haskell
  ☆16Jun 16, 2020Updated 5 years ago
• siddhartha-gadgil / lean-loris

  View on GitHub
  Experiments with some ways of automating reasoning in lean 4
  ☆17Apr 20, 2024Updated last year