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
Sorting:
- ☆12Mar 20, 2022Updated 3 years ago
- A collection of SUN framebuffer logos for your viewing pleasure☆20May 25, 2022Updated 3 years ago
- Excel COM Wrapper Library for F#☆19Nov 21, 2021Updated 4 years ago
- A Single Page Application written in F# using Fable and Elmish.☆29Mar 2, 2023Updated 3 years ago
- ☆10Feb 3, 2026Updated last month
- ☆13Sep 8, 2019Updated 6 years ago
- OpenPGP in Python using Sequoia PGP☆18Feb 25, 2026Updated last week
- 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
- Golang Web Toolkit☆16Nov 5, 2011Updated 14 years ago
- A browser extension overlays Hanyu Pinyin annotations over Chinese characters present in web pages and video closed captions.☆13Dec 7, 2025Updated 2 months ago
- safe and easy programming for you☆10Sep 1, 2022Updated 3 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- Marlowe makes it easier to trace a request through all of your application logs☆10Feb 27, 2024Updated 2 years ago
- Tiny High Performance HTTP Server for Scala☆13Jan 4, 2025Updated last year
- 🤖 Computer setup☆11Nov 11, 2025Updated 3 months ago
- Package damsel provides html outlining via css-selectors and common template functionality.☆24Apr 7, 2016Updated 9 years ago
- Call Julia from Rust☆16Dec 8, 2016Updated 9 years ago
- The unofficial Scala game☆11Oct 26, 2020Updated 5 years ago
- Research into creating tiny .NET executables☆14Apr 21, 2018Updated 7 years ago
- Compiler for Jade-like template language to cito.js-based virtual dom☆11Sep 7, 2015Updated 10 years ago
- A bare bones lisp parser & interpreter☆11Jan 26, 2021Updated 5 years ago
- Dis interpreter by Rob Pike☆13Sep 3, 2020Updated 5 years ago
- React based ASCII Rogue☆11Nov 20, 2025Updated 3 months ago
- ObjectDeliverer is a data transmission / reception library for C#(.NET Standard 2.0, 2.1)☆11Jul 9, 2024Updated last year
- A Java Swing based game engine☆11Feb 12, 2022Updated 4 years ago
- A simple Lisp implementation written in TypeScript(earlier version)☆10Jul 11, 2017Updated 8 years ago
- ☆13Dec 25, 2024Updated last year
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- The ANUBIS benchmark suite for Incremental Synthesis☆12Dec 15, 2020Updated 5 years ago
- Batteries for the web☆14Oct 31, 2015Updated 10 years ago
- An online playground for Racket.☆13May 11, 2021Updated 4 years ago
- 매일 알고리즘 1문제를 풀어보던 카카오톡 오픈채팅방을 아카이브합니다. 현재 190명: 방문자 환영합니다.☆12Jun 26, 2023Updated 2 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
- A customized build of CKEditor, a rich text editor.☆10Jan 24, 2024Updated 2 years ago
- Phoshell: a Forth inspired, extremely lightweight, stack machine shell, implementable in _ALL_ known programming languages.☆10Nov 21, 2020Updated 5 years ago
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 3 years ago
- A primer of programming language Elixir☆11Oct 25, 2014Updated 11 years ago
- A cross-platform file browser for mass renaming☆63Jun 4, 2016Updated 9 years ago
- プログラミングの初歩を学んでもらうための無料教材☆14Sep 28, 2021Updated 4 years ago