The library FDR3 uses for parsing, type checking and evaluating machine CSP.
☆30May 15, 2023Updated 3 years ago
Alternatives and similar repositories for libcspm
Users that are interested in libcspm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Facet Search interface for MEMEX.☆13Feb 26, 2015Updated 11 years ago
- a structural templating system for JavaScript programs☆17Jul 3, 2025Updated 11 months ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆16May 30, 2022Updated 4 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆17Aug 30, 2025Updated 9 months ago
- Tool for building a PDF document from markdown files, using LaTeX styles and features.☆13Aug 7, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆13Feb 12, 2020Updated 6 years ago
- The VAX/VMS 3.7 (1984) source code.☆28Jan 27, 2023Updated 3 years ago
- Official .NET implementation of Apache Arrow☆33Updated this week
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Mar 11, 2024Updated 2 years ago
- VS Code extension to add Zotero citations for BibLaTeX☆17Sep 6, 2019Updated 6 years ago
- Analysis of City Of Chicago Taxi Trip Dataset Using AWS EMR, Spark, PySpark, Zeppelin and Airbnb's Superset☆15Jul 16, 2017Updated 8 years ago
- Notary: A Device for Secure Transaction Approval 📟☆30Feb 1, 2025Updated last year
- ☆11Oct 16, 2022Updated 3 years ago
- Docker image that regularly backs up a MongoDB instance into a volume☆17Nov 14, 2017Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A JUnit 5 extension for testing JAX-RS and Jersey-based applications using the Jersey test framework.☆15Jun 22, 2021Updated 4 years ago
- Process-in-Process☆17Apr 21, 2021Updated 5 years ago
- GUI for running the SPIN model checker☆20Nov 22, 2022Updated 3 years ago
- Mimir is a new implementation of MapReduce over MPI. Mimir inherits the core principles of existing MapReduce frameworks, such as MR-MPI,…☆21Nov 12, 2018Updated 7 years ago
- I-cache line packing and branch misprediction measuring tool☆18Dec 1, 2016Updated 9 years ago
- Dynamic Programming Repository - From Basics to Absolute Magic.☆19Oct 8, 2016Updated 9 years ago
- A Node.js server that allows for sending commands to Google Home/Assistant from endpoints☆13Aug 19, 2022Updated 3 years ago
- K42 Kernel☆32May 11, 2012Updated 14 years ago
- Manipulating Common Intermediate Language AST in Haskell☆22Nov 12, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Aug 10, 2022Updated 3 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆12Dec 7, 2022Updated 3 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- Fun plugin to play with the Gallina AST.☆39Oct 3, 2019Updated 6 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- jMolecules integration for IntelliJ based IDEs like IDEA☆11Feb 22, 2024Updated 2 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- A collection of the talks I’ve given in the past.☆11Sep 11, 2025Updated 9 months ago
- Coq formalizations and proofs of (data) structures and algorithms.☆48May 13, 2018Updated 8 years 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.
- Spawn child processes in PureScript via the Node.js child_process API.☆13Mar 22, 2025Updated last year
- Graph-indexed Pandas DataFrames for analyzing hierarchical performance data☆35May 11, 2026Updated last month
- A programmatic language server protocol test client.☆12Sep 14, 2022Updated 3 years ago
- A python package for normalizing (or flattening) a JSON-like structure into a list (genarator) or flat dicts.☆28Sep 25, 2024Updated last year
- BibTeX bibliographies for proof engineering-related papers☆30Jul 24, 2019Updated 6 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- Generate a filesystem tree from a macro or a YAML tree☆29Apr 21, 2026Updated last month