Libraries and tools for extracting Coq code to F#
☆14Aug 16, 2013Updated 12 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 2 months ago
- `busybox` Docker image for multiple architectures☆12Jun 8, 2019Updated 7 years ago
- ☆10Sep 9, 2024Updated last year
- 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 9 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 8 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.
- 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 8 years ago
- FZF frontend for pass - Mirror of https://git.korhonen.cc/FunctionalHacker/fzf-pass☆10Aug 14, 2023Updated 2 years ago
- A Single Page Application written in F# using Fable and Elmish.☆29Mar 2, 2023Updated 3 years ago
- ☆11Apr 27, 2024Updated 2 years ago
- The QEMU Patch☆15Jan 14, 2026Updated 6 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
- Qute: a dependency learning QBF solver.☆16Mar 31, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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☆12Aug 14, 2023Updated 2 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 6 years ago
- Eigen Recursive Matrix Extension☆12Sep 18, 2019Updated 6 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.
- 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☆16May 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 4 years ago
- This is an Arduino porting for STM32F405/407☆14Oct 8, 2024Updated last year