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:
- Phase vocoder in Haskell☆18Mar 1, 2021Updated 5 years ago
- Erlang and Elixir supervisors restart strategies☆12Aug 3, 2017Updated 9 years ago
- Discover, setup, and get stats on network interfaces☆11Nov 17, 2023Updated 2 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- ☆16Nov 16, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Monads in LFE☆15Apr 27, 2016Updated 10 years ago
- ☆11May 26, 2020Updated 6 years ago
- A project to unify various implementations of the Erlang library gen_leader into a modern, robust single implementation☆15Aug 2, 2011Updated 15 years ago
- implementation of nftables for NixOS☆12Nov 17, 2019Updated 6 years ago
- Change all links on blog posts and news articles links' to their archive.org snapshot on the date of publication☆12Sep 7, 2026Updated 3 weeks ago
- cprops - C Prototyping Tools☆11Jul 27, 2012Updated 14 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 years ago
- Project has moved to https://git.fmsbw.de/gpresent-fork/☆11Oct 5, 2025Updated 11 months ago
- WIP☆11Feb 17, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- AST, parser, pretty-printer for Core Erlang source code.☆29Mar 20, 2021Updated 5 years ago
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- Erlang VM reimplementation in Haskell☆20Aug 19, 2014Updated 12 years ago
- Tools for reasoning about circuits in Rosette/Racket 🔌☆20Feb 1, 2025Updated last year
- Description and configuration of my infrastructure: Computers, Phone, Servers and 3D printer.☆16Updated this week
- CSP-inspired concurrency library for modern C☆12Aug 26, 2018Updated 8 years ago
- Tool for building a PDF document from markdown files, using LaTeX styles and features.☆13Aug 7, 2021Updated 5 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆26Feb 17, 2015Updated 11 years ago
- GI1MIC $19 DSP Filter - modify or design your own custom audio filters for Morse and SSB☆18Jun 11, 2017Updated 9 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.
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Jul 26, 2024Updated 2 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Mar 11, 2024Updated 2 years ago
- Notary: A Device for Secure Transaction Approval 📟☆30Feb 1, 2025Updated last year
- A simple Riemann client written in Erlang.☆27May 24, 2020Updated 6 years ago
- ☆21Aug 15, 2026Updated last month
- Chrome extension for discouraging the use of attention-sucking websites☆30Jul 14, 2015Updated 11 years ago
- ACCU 2017 - "History of Time: Asynchronous C++"☆15Apr 26, 2017Updated 9 years ago
- Simple and ergonomic HTTP client for Haskell☆20Jul 12, 2026Updated 2 months ago
- Zero Wine Tryouts: An open source malware analysis tool☆17Aug 28, 2026Updated 3 weeks 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.
- Production infrastructure configuration for Danbooru.☆16Aug 22, 2026Updated last month
- GUI for running the SPIN model checker☆20Nov 22, 2022Updated 3 years ago
- The public Regolith website.☆16Apr 8, 2026Updated 5 months ago
- ISC Performance Lab☆12Apr 14, 2026Updated 5 months ago
- SEO Library☆16Jan 2, 2016Updated 10 years ago
- A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,☆19Sep 21, 2026Updated last week
- 🍛 Haskell support for Vim☆22Sep 19, 2020Updated 6 years ago