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:
- 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
- ☆11May 26, 2020Updated 6 years ago
- Purely functional data structures in Idris☆11Sep 24, 2017Updated 9 years ago
- implementation of nftables for NixOS☆12Nov 17, 2019Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Project has moved to https://git.fmsbw.de/gpresent-fork/☆11Oct 5, 2025Updated last year
- A comparison between Proteus RPC and other commonly used RPC frameworks☆24May 14, 2019Updated 7 years ago
- A simple TUN/TAP library written in native Go (golang).☆10May 23, 2013Updated 13 years ago
- Riak resolution proxy☆27Jul 18, 2013Updated 13 years ago
- Import & export of mutable globals☆17Jun 24, 2018Updated 8 years ago
- Erlang VM reimplementation in Haskell☆20Aug 19, 2014Updated 12 years ago
- Description and configuration of my infrastructure: Computers, Phone, Servers and 3D printer.☆16Oct 9, 2026Updated 3 weeks ago
- Hands-On Initiator Project☆11Apr 23, 2020Updated 6 years ago
- Local server storage media played by mediaplayer android.☆12Sep 10, 2013Updated 13 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.
- hello world for Gio graphics for Golang. Gio runs on macOS, Windows, Wayland (linux), X11, WebASM, iOS, and Android. All in Go, no bridge…☆16Feb 23, 2023Updated 3 years ago
- The fastest pure Go in-memory Redis alternative. 6.87M+ ops/s peak throughput, 119µs latency, Multi-Reactor engine, embedded Cyberpunk We…☆19Oct 11, 2026Updated 3 weeks ago
- Advent of Code for 2021☆14Dec 3, 2021Updated 4 years ago
- A visual testing tool to compare two web pages visually and generate the pixel difference they have.☆16Dec 14, 2015Updated 10 years ago
- Command-line subtitle fixer☆13Apr 23, 2022Updated 4 years ago
- Very simple library for sending and receiving ICMP datagrams.☆16Jul 3, 2022Updated 4 years ago
- Django-Rest-Framework 教程☆11Feb 16, 2016Updated 10 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 6 years ago
- Dynamic Leader Election behaviour for Erlang☆23Nov 23, 2011Updated 14 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆26Feb 17, 2015Updated 11 years ago
- Django-like Web Framework Written in Go and HTMX☆17Updated this week
- ast representation of go package, in human :) friendly form☆14Mar 10, 2018Updated 8 years ago
- Metagenomics Pipeline Repository for January, 2015 NCBI/ADDS Hackathon at NIH☆10Oct 31, 2016Updated 10 years ago
- Defining the semantics of K in K☆16May 6, 2020Updated 6 years ago
- Rounding and truncation methods for big.Rat☆15Sep 22, 2021Updated 5 years ago
- A new storage modeling for CloudSim simulator.☆10Jan 4, 2018Updated 8 years ago
- Interoperable notification solution for smartphones☆15Nov 19, 2014Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Edwards curve ed25519 identity based RPC for Go/golang. TLS-v1.3 over TCP (or QUIC). Includes a production quality RAFT service (tube) wi…☆20Oct 28, 2026Updated last week
- CEAL Language Implementation☆13Dec 15, 2011Updated 14 years ago
- jStar is a verification tool based on separation logic.☆10Apr 11, 2016Updated 10 years ago
- Mica is a web portal for epidemiological study consortia.☆14Updated this week
- ☆24Nov 24, 2015Updated 10 years ago
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 5 years ago
- Ontology for Biobanking☆16Jun 11, 2025Updated last year