Alternatives and similar repositories for probprog20

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

• hongseok-yang / CLT21

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• hongseok-yang / probprog19

  View on GitHub
  ☆28Aug 17, 2019Updated 6 years ago
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• hongseok-yang / logic21

  View on GitHub
  ☆23Jun 18, 2021Updated 4 years ago
• boystrange / FuSe

  View on GitHub
  A simple library implementation of binary sessions
  ☆11Jun 18, 2024Updated last year
• proost-assistant / ProostLean

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

  View on GitHub
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Aug 15, 2015Updated 10 years ago
• Columpio / RInGen

  View on GitHub
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆13Aug 8, 2022Updated 3 years ago
• argumentcomputer / RustFFI.lean

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

  View on GitHub
  Probabilistic programming system for fast and exact symbolic inference
  ☆85Jul 10, 2024Updated last year
• hongseok-yang / logic24

  View on GitHub
  ☆12May 30, 2024Updated last year
• rycolab / prefix-parsing

  View on GitHub
  ☆14Feb 1, 2024Updated 2 years ago
• fan-tom / liquid-rust

  View on GitHub
  Liquid Types implementation for Rust
  ☆30Sep 30, 2022Updated 3 years ago
• zhangir-azerbayev / mathlib-semantic-search

  View on GitHub
  ☆15Apr 12, 2023Updated 2 years ago
• arthurpaulino / NumLean

  View on GitHub
  A Lean 4 package for heavy numerical computations
  ☆19Jan 16, 2022Updated 4 years ago
• muhaochen / bilingual_dictionaries

  View on GitHub
  This repository contains the source code and links to some datasets used in the CoNLL 2019 paper "Learning to Represent Bilingual Diction…
  ☆12Oct 1, 2020Updated 5 years ago
• 1202kbs / Paper-Review

  View on GitHub
  Reviews of papers on ML, DL, Statistics, Optimization, etc.
  ☆12Aug 2, 2021Updated 4 years ago
• R-Korea / study-group

  View on GitHub
  R Korea Study Group
  ☆16Apr 19, 2018Updated 7 years ago
• Wenda302 / IsarStep

  View on GitHub
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Mar 15, 2021Updated 4 years ago
• breandan / markovian

  View on GitHub
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Apr 8, 2022Updated 3 years ago
• hongseok-yang / probprog17

  View on GitHub
  ☆28Dec 18, 2017Updated 8 years ago
• egraphs-good / egraph-serialize

  View on GitHub
  egraph <-> json
  ☆16Dec 29, 2025Updated last month
• DeepSE / AILogs

  View on GitHub
  ☆16May 1, 2023Updated 2 years ago
• IDSIA / credici

  View on GitHub
  Credici: Credal Inference for Causal Inference
  ☆20May 17, 2025Updated 8 months ago
• prosyslab-classroom / is593-language-based-security

  View on GitHub
  ☆28Aug 14, 2023Updated 2 years ago
• jonghkim / awesome-machine-learning-management-research

  View on GitHub
  ☆15Jul 27, 2021Updated 4 years ago
• brencej / ProGED

  View on GitHub
  equation discovery based on generative models
  ☆22Apr 10, 2025Updated 10 months ago
• trishullab / cflobdd

  View on GitHub
  ☆14Updated this week
• coldfire79 / data-science-with-python-and-dask

  View on GitHub
  한빛미디어에서 출간한 『파이썬과 대스크를 활용한 고성능 데이터 분석』 의 소스코드 저장소
  ☆12May 20, 2020Updated 5 years ago
• machinereading / koreanframenet

  View on GitHub
  ☆14Nov 19, 2020Updated 5 years ago
• probing-lab / polar

  View on GitHub
  ☆17Apr 21, 2025Updated 9 months ago
• opencompl / egg-tactic-code

  View on GitHub
  ☆16Jul 3, 2023Updated 2 years ago
• bdusell / nondeterministic-stack-rnn

  View on GitHub
  Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)
  ☆19Mar 21, 2024Updated last year
• akrasuski1 / eusolver-priority

  View on GitHub
  Grammar prioritization support for EUSolver.
  ☆14Jul 18, 2019Updated 6 years ago
• s-falke / kittel-koat

  View on GitHub
  KITTeL/KoAT
  ☆21Dec 19, 2018Updated 7 years ago
• MojtabaValizadeh / paresy

  View on GitHub
  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
  ☆17Feb 26, 2025Updated 11 months ago
• cognitive-engineering-lab / document-calculus

  View on GitHub
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Oct 5, 2023Updated 2 years ago
• hongseok-yang / graduatePL23

  View on GitHub
  ☆19Nov 5, 2023Updated 2 years ago
• ksseono / awesome-causal-inference

  View on GitHub
  ☆41Jan 25, 2022Updated 4 years ago