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
- A collection of SUN framebuffer logos for your viewing pleasure☆20May 25, 2022Updated 3 years ago
- Webwire Command Line Interface☆17Jan 10, 2024Updated 2 years ago
- Excel COM Wrapper Library for F#☆19Nov 21, 2021Updated 4 years ago
- 🤖 A book on deep reinforcement learning☆22Nov 6, 2017Updated 8 years ago
- A back-pressured rxpy extension☆29Nov 18, 2025Updated 4 months ago
- 매일 알고리즘 1문제를 풀어보던 카카오톡 오픈채팅방을 아카이브합니다. 현재 190명: 방문자 환영합니다.☆12Jun 26, 2023Updated 2 years ago
- Early experimental F# type provider for python☆43Jun 7, 2017Updated 8 years ago
- ☆10Sep 9, 2024Updated last year
- `busybox` Docker image for multiple architectures☆12Jun 8, 2019Updated 6 years ago
- OpenPGP in Python using Sequoia PGP☆18Updated this week
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 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 3 years ago
- 기상청 실시간 지진감시 클라이언트☆12Apr 28, 2024Updated last year
- 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.☆11Sep 27, 2016Updated 9 years ago
- A .NET Class Library that provides parsing functionality over files containing the Bitcoin blockchain.☆16Oct 11, 2017Updated 8 years ago
- Write Jinja2-style templates in C++. Uses lua as a scripting language (very lightweight)☆16Dec 10, 2016Updated 9 years ago
- A Single Page Application written in F# using Fable and Elmish.☆29Mar 2, 2023Updated 3 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
- ☆11Apr 27, 2024Updated last year
- ☆10Feb 3, 2026Updated last month
- ☆13Jun 8, 2018Updated 7 years ago
- The QEMU Patch☆15Jan 14, 2026Updated 2 months ago
- Convert GnuPG private keys to Tor hidden service keys (and vice versa)☆12Jun 11, 2015Updated 10 years ago
- Recommendation service for Danbooru☆12May 2, 2019Updated 6 years ago
- similar to pandoc's --section-divs for markdown-it☆20Feb 27, 2024Updated 2 years ago
- A cuter ActivityPub server☆13Jan 30, 2020Updated 6 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- 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 last year
- Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later☆22Aug 28, 2022Updated 3 years ago
- automatically detect and classify notes from a piano sound recording, using NNs☆10Jul 28, 2019Updated 6 years ago
- Dis interpreter by Rob Pike☆13Sep 3, 2020Updated 5 years ago
- Eigen Recursive Matrix Extension☆12Sep 18, 2019Updated 6 years ago
- Research into creating tiny .NET executables☆14Apr 21, 2018Updated 7 years ago
- Custom semgrep rules registry☆14Aug 23, 2022Updated 3 years ago
- The ANUBIS benchmark suite for Incremental Synthesis☆12Dec 15, 2020Updated 5 years ago
- An F# library for writing and reading .NET assemblies and modules☆12Aug 30, 2021Updated 4 years ago