☆10Apr 5, 2015Updated 11 years ago
Alternatives and similar repositories for coq2scala
Users that are interested in coq2scala are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Aug 27, 2019Updated 7 years ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆19Apr 29, 2026Updated 5 months ago
- Verification Framework for Actor Systems on Coq☆30Jul 2, 2018Updated 8 years ago
- A Scala library that provides various data structures.☆13May 6, 2019Updated 7 years ago
- SoftwareFoundations(Ja)☆70Oct 5, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Mnemonics - Bytecode generation for scala☆22Jan 31, 2013Updated 13 years ago
- Programs for checking the ρ property☆17Feb 28, 2021Updated 5 years ago
- OCaml bindings to libssh☆14Jan 3, 2016Updated 10 years ago
- Visualize dependency packages and modules☆10May 8, 2026Updated 5 months ago
- Documents☆13May 6, 2026Updated 5 months ago
- Get diff from 2 create table sql and generate alter table sql.☆16Feb 27, 2018Updated 8 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 years ago
- Streaming data library built around first-class stream fusion for high efficiency☆12Apr 22, 2016Updated 10 years ago
- Fast, customizable, boilerplate-free pickling support for Scala. MOVED TO http://github.com/scala/pickling☆18Jun 30, 2013Updated 13 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A fault-aware model checker for message passing systems☆16Aug 20, 2014Updated 12 years ago
- SSHv2 library, client and server implementation in OCaml☆13Mar 3, 2012Updated 14 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Oct 8, 2023Updated 3 years ago
- purely functional scala github api client☆25Aug 25, 2025Updated last year
- MessagePack for OCaml/Coq☆15Feb 24, 2013Updated 13 years ago
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 years ago
- A simple Ascii art generator. A toy project to help me learn Scala. Pretty much a port to Scala of this: http://www.bestinclass.dk/index.…☆21Mar 10, 2013Updated 13 years ago
- [WIP] Faster Implementation of Dialyzer☆56Apr 4, 2024Updated 2 years ago
- Generic encoders / decoders for the various kantan libraries.☆12Apr 10, 2025Updated last year
- 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 distributed bug tracking tool☆11Jan 30, 2013Updated 13 years ago
- A web server written in Coq.☆89Jul 14, 2016Updated 10 years ago
- LimeSDR-Mini board FPGA project☆14Jan 30, 2019Updated 7 years ago
- Scalaz-7 typeclasses for Akka☆12Jan 23, 2013Updated 13 years ago
- A Programming Language☆12Mar 20, 2016Updated 10 years ago
- ダメ男製造機☆12Dec 15, 2023Updated 2 years ago
- 🌀 Inference programming language specification☆17Sep 11, 2026Updated last month
- This version of Rhizomer is archived, the current version is linked from:☆14May 27, 2018Updated 8 years ago
- ☆12Oct 30, 2013Updated 12 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Realtime Raytracing Visual Music Generator☆13Feb 26, 2014Updated 12 years ago
- A certified Sudoku solver in Coq [maintainers=@siraben,@thery]☆20Nov 14, 2022Updated 3 years ago
- Exercises for my Free Monad workshop at YOW Lambda Jam 2014 in Brisbane☆10May 15, 2014Updated 12 years ago
- ASIO対応DAWの音声をOBSやDiscordの画面共有へ送る配信用プラグイン。Windows正式版／macOSプレビュー版☆28Oct 14, 2026Updated 2 weeks ago
- Example Coq plugin☆18Mar 23, 2018Updated 8 years ago
- ☆16Feb 4, 2019Updated 7 years ago
- A slide deck.☆11Nov 2, 2014Updated 11 years ago