The PERPL Compiler
☆14Oct 17, 2025Updated 4 months ago
Alternatives and similar repositories for perpl
Users that are interested in perpl are comparing it to the libraries listed below
Sorting:
- Factor Graph Grammars in Python☆13Jan 17, 2026Updated last month
- A Haskell probabilistic programming library.☆21Feb 19, 2026Updated last week
- Building A Correct-By-Construction Proof Checkers For Type Theories☆31Jan 15, 2026Updated last month
- An arbitrary-precision differentiable programming language.☆36Jul 7, 2023Updated 2 years ago
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆31Nov 17, 2025Updated 3 months ago
- Entry to model counting competition 2021.☆24Jun 25, 2024Updated last year
- Sandwood - A JVM based Java like Probabilistic Programming Language☆34Jun 27, 2025Updated 8 months ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆87Mar 15, 2025Updated 11 months ago
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated 3 weeks ago
- ☆12Nov 22, 2024Updated last year
- Voila! A smart automatic pet feeder using Arduino Uno + RTC time module for scheduling + multiple sensors.☆10Jun 4, 2024Updated last year
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- CS6868: Concurrent Programming☆32Updated this week
- Exercises for EOPL in Haskell☆11Apr 1, 2025Updated 11 months ago
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Dec 4, 2019Updated 6 years ago
- Time Integration Package☆11Dec 17, 2024Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- NeuralTokenizer is a very simple to use text tokenizer which uses neural networks from the SimpleDNN library.☆10Jun 18, 2020Updated 5 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- Experimental port of ADEV to Julia☆11Nov 12, 2023Updated 2 years ago
- ☆11May 8, 2019Updated 6 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆12Apr 18, 2019Updated 6 years ago
- Mechanized baselines for various type system features☆18Updated this week
- ☆10Aug 16, 2019Updated 6 years ago
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated last year
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 4 years ago
- Pythoness: use natural language to define Python functions.☆20Apr 22, 2025Updated 10 months ago
- Public accompanying repository for Universite de Montreal's IFT 6757: Autnonomous Vehicles, Fall 2019.☆11Jun 21, 2022Updated 3 years ago
- Communication is an important component in robotic systems. The application goals such as, finding a victim or teleoperate a robot in an …☆11Aug 29, 2017Updated 8 years ago
- ☆10Aug 25, 2020Updated 5 years ago