PostScript programming in the Coq proof assistant
☆13Jun 12, 2014Updated 12 years ago
Alternatives and similar repositories for formalized-postscript
Users that are interested in formalized-postscript are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VeriFastに関する文書の日本語訳置き場☆15Oct 15, 2018Updated 8 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- Coq plugin for monomorphization and C code generation☆41Jan 16, 2026Updated 9 months ago
- CNN in APL☆23Aug 19, 2022Updated 4 years ago
- Python Meta Programming☆16Dec 16, 2018Updated 7 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.
- Pluggable types for Common Lisp☆20Dec 9, 2023Updated 2 years ago
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 6 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- IO for Gallina☆34Aug 20, 2026Updated last month
- A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.☆33Jun 5, 2019Updated 7 years ago
- CodFS: An Erasure-Coded Clustered Storage System for Efficient Updates and Recovery☆10Mar 31, 2015Updated 11 years ago
- The Egison tutorial☆15Dec 18, 2021Updated 4 years ago
- A rpc client library for the Transmission bittorrent client written in OCaml.☆10Jan 27, 2018Updated 8 years ago
- Bindings for OpenVR and the Valve/HTC Vive☆10Mar 28, 2017Updated 9 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.
- Tensors in Haskell☆40Jul 20, 2026Updated 2 months ago
- ☆30Sep 11, 2023Updated 3 years ago
- mpd client library implementation in OCaml.☆17Jun 23, 2023Updated 3 years ago
- OCaml library to access Maildir folders☆19Feb 25, 2019Updated 7 years ago
- Vitamins for your Rust cryptography code☆10Updated this week
- First class patterns and pattern matching, using type families☆18Nov 6, 2020Updated 5 years ago
- a clone of dmenu written in OCaml.☆47May 22, 2021Updated 5 years ago
- OCaml Ctypes stubs generation notes☆22May 1, 2019Updated 7 years ago
- An implementation of the Logo programming language in OCaml☆15Mar 13, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Implementation of XMPP for MirageOS☆16Apr 8, 2019Updated 7 years ago
- OCaml bindings for the Xlib library.☆17Dec 2, 2020Updated 5 years ago
- Convert a cmi file back to an mli interface☆20Jan 18, 2015Updated 11 years ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆20Updated this week
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.☆12Jul 4, 2024Updated 2 years ago
- Haskell library for non-deterministic pattern matching☆19Dec 21, 2025Updated 9 months ago
- Js_of_ocaml bindings for MithrilJS☆18Jan 23, 2021Updated 5 years ago
- ☆11Feb 8, 2020Updated 6 years ago
- Distributed Lisp interpreter in Erlang.☆11Dec 14, 2016Updated 9 years ago
- 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.
- OCaml package to produce JUnit xml reports☆19Jul 2, 2026Updated 3 months ago
- Example build system for making mixed C/Ocaml binaries where the main program is in C☆18Oct 3, 2017Updated 9 years ago
- Tactic for polynomial manipulations☆13Jan 29, 2026Updated 8 months ago
- Type inference in OCaml☆40Mar 14, 2015Updated 11 years ago
- A framework for processing input like streams, pathnames and sequences☆18Sep 19, 2017Updated 9 years ago
- Digital Audio Funstation☆15Oct 8, 2026Updated last week
- ☆14Apr 14, 2025Updated last year