Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
☆12Sep 12, 2026Updated last month
Alternatives and similar repositories for sparcl
Users that are interested in sparcl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Factor Graph Grammars in Python☆14Jan 17, 2026Updated 9 months ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated last year
- The PERPL Compiler☆14Oct 17, 2025Updated last year
- generate art from a hash☆25Jul 6, 2025Updated last year
- Lean4: Total parser combinator library with do notation☆23Sep 9, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- GPT-3 as a generative function in Gen.☆19Jul 14, 2024Updated 2 years ago
- A scripting language built for speed in world where JavaScript runs on web servers☆11May 7, 2022Updated 4 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 9 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 7 years ago
- Shogi GUI application with USI protocol support☆35Jun 21, 2026Updated 4 months ago
- Erlang implementation built on GraalVM/Truffle☆15May 31, 2019Updated 7 years ago
- An interpreter for Janus, the reversible programming language.☆15Jun 7, 2020Updated 6 years ago
- Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"☆15Jul 21, 2020Updated 6 years ago
- a Racket formatter that only fixes whitespaces☆12Jun 6, 2026Updated 5 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- audit your cabal projects for haskell-specific security-advisories☆31Oct 7, 2026Updated 3 weeks ago
- teeny tiny platform layer for simple OpenGL demos☆26Sep 6, 2012Updated 14 years ago
- A command-line IPA re-signer for non-jailbroken iOS devices. Works with a **free Apple Developer account** — no paid membership required.☆16Oct 23, 2026Updated 2 weeks ago
- A shader system built using staged metaprogramming☆15Jul 9, 2022Updated 4 years ago
- ☆35Dec 15, 2025Updated 10 months ago
- Lean4 library for substitution inspired by autosubst☆16Oct 23, 2026Updated 2 weeks ago
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- Collection of benchmarks that reveal the performance of some lexing and parsing issues (mostly C# runtime)☆10May 7, 2022Updated 4 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Quantum circuits compiler with staging and continuations☆19Nov 19, 2024Updated last year
- ☆11Apr 10, 2024Updated 2 years ago
- The Elf Game Engine 小精灵引擎☆15Sep 3, 2018Updated 8 years ago
- The simplest implementation of Dependent Pattern Matching and Indexed Inductive Types.☆14Apr 11, 2026Updated 6 months ago
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆56Oct 14, 2026Updated 3 weeks ago
- A functional language with algebraic effects, multishot continuations, and native codegen☆171Oct 17, 2026Updated 2 weeks ago
- Extensible AI agent framework in Go — multi-channel (Feishu/Slack/CLI), sandboxed tool execution, MCP integration, multi-tenant sessions☆12Apr 27, 2026Updated 6 months ago
- A minimalist implementation of type theory, suitable for experimentation☆16Jun 13, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- blog with go☆11Jul 5, 2023Updated 3 years ago
- NodeJS Run Configuration Producer for IntelliJ Platform 2017.1+ (IntelliJ IDEA, WebStorm)☆11Apr 3, 2017Updated 9 years ago
- An LSP implementaion for LR(1) parser generator LALRPOP, written in Rust.☆14Sep 2, 2026Updated 2 months ago
- ☆12Oct 29, 2026Updated last week
- Stack-safe recursion schemes on dissectible data structures.☆14May 6, 2022Updated 4 years ago
- Haskell bindings to Halide☆20Mar 18, 2024Updated 2 years ago
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆12May 18, 2025Updated last year