Libraries and tools for extracting Coq code to F#
☆14Aug 16, 2013Updated 13 years ago
Alternatives and similar repositories for coq-fsharp
Users that are interested in coq-fsharp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Mar 20, 2022Updated 4 years ago
- Excel COM Wrapper Library for F#☆19Nov 21, 2021Updated 4 years ago
- A collection of SUN framebuffer logos for your viewing pleasure☆20May 25, 2022Updated 4 years ago
- Webwire Command Line Interface☆17Jan 10, 2024Updated 2 years ago
- 🤖 A book on deep reinforcement learning☆22Nov 6, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 매일 알고리즘 1문제를 풀어보던 카카오톡 오픈채팅방을 아카이브합니다. 현재 190명: 방문자 환영합니다.☆12Jun 26, 2023Updated 3 years ago
- A back-pressured rxpy extension☆31May 23, 2026Updated 4 months ago
- `busybox` Docker image for multiple architectures☆12Jun 8, 2019Updated 7 years ago
- ☆10Sep 9, 2024Updated 2 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 9 years ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 4 years ago
- ROM Hack that adds support for playing CD quality music in Chrono Trigger using MSU-1. I also hope to play the FMV from the PS1 version.☆12Sep 27, 2016Updated 10 years ago
- 기상청 실시간 지진감시 클라이언트☆13Apr 28, 2024Updated 2 years ago
- A .NET Class Library that provides parsing functionality over files containing the Bitcoin blockchain.☆16Oct 11, 2017Updated 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.
- Write Jinja2-style templates in C++. Uses lua as a scripting language (very lightweight)☆16Dec 10, 2016Updated 9 years ago
- Create Gtk applications with Gjs/TypeScript☆10Aug 16, 2017Updated 9 years ago
- FZF frontend for pass - Mirror of https://git.korhonen.cc/FunctionalHacker/fzf-pass☆10Aug 14, 2023Updated 3 years ago
- A Single Page Application written in F# using Fable and Elmish.☆29Mar 2, 2023Updated 3 years ago
- ☆10Sep 9, 2026Updated last month
- ☆11Apr 27, 2024Updated 2 years ago
- The QEMU Patch☆15Jan 14, 2026Updated 8 months ago
- ☆13Jun 8, 2018Updated 8 years ago
- Convert GnuPG private keys to Tor hidden service keys (and vice versa)☆12Jun 11, 2015Updated 11 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.
- Qute: a dependency learning QBF solver.☆18Mar 31, 2026Updated 6 months ago
- similar to pandoc's --section-divs for markdown-it☆21Feb 27, 2024Updated 2 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- Recommendation service for Danbooru☆12May 2, 2019Updated 7 years ago
- MIDAS Public Release☆11Nov 27, 2018Updated 7 years ago
- A cuter ActivityPub server☆13Jan 30, 2020Updated 6 years ago
- Cubic Game Framework for the FTE Engine☆11Aug 14, 2023Updated 3 years ago
- ObjectDeliverer is a data transmission / reception library for C#(.NET Standard 2.0, 2.1)☆11Jul 9, 2024Updated 2 years ago
- automatically detect and classify notes from a piano sound recording, using NNs☆10Jul 28, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Eigen Recursive Matrix Extension☆12Sep 18, 2019Updated 7 years ago
- Proof of Concept - Local discharging of third party caveats☆14Nov 27, 2017Updated 8 years ago
- The ANUBIS benchmark suite for Incremental Synthesis☆12Dec 15, 2020Updated 5 years ago
- A WIP level viewer using three.js for Tomb Raider Legend and Anniversary☆17May 25, 2024Updated 2 years ago
- Creating a bootrom of iPXE☆17Jul 10, 2014Updated 12 years ago
- Experimental script to query rebuilderd for results☆14Dec 4, 2023Updated 2 years ago
- An F# library for writing and reading .NET assemblies and modules☆12Aug 30, 2021Updated 5 years ago