Constructors

Example Coq plugin

Stars

16

Forks

3

Language

OCaml

Last Updated

Dec 27, 2020

Similar Repos
Repo Language Stars Description Updated At
OCaml 14 A Coq plugin that implements exceptions in Coq Mar 05, 2023
OCaml 5 Coq plugin for monadification Nov 05, 2021
OCaml 97 Coq plugin embedding elpi Mar 30, 2023
Coq 3 `switch` plugin for Coq Jul 20, 2022
TypeScript 2 Coq Dig Developer Community Example Aug 28, 2021
OCaml 5 A Coq plugin to translate Coq proofs into Dedukti terms. Sep 07, 2022
OCaml 3 A Coq plugin for Codewars Aug 10, 2022
Rust 4 COQ Plugin solving relations from Hahn coq lib using Rust EGG library. May 08, 2023
Coq 44 Coq plugin for parametricity [maintainer=@proux01] Dec 10, 2022
Shell 5 :rooster: Coq plugin for ASDF version manager. Nov 08, 2021
OCaml 31 Coq plugin for monomorphization and C code generation Aug 17, 2022
Makefile 6 A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross] Aug 10, 2022
None 31 A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq … Sep 02, 2021
Coq 2 Coq Apr 12, 2023
Python 3 Example project setup for Coq that supports git submodule dependencies Dec 27, 2020
OCaml 3 Documentation for atdgen Nov 02, 2020
OCaml 3 Investigating incomplete OCaml stack backtraces Nov 02, 2020
OCaml 3 OCaml-stuffed templates Nov 02, 2020
OCaml 3 Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias Nov 02, 2020
OCaml 3 How much stuff fits in a spherical shell of various dimensions? Nov 02, 2020
OCaml 3 Dynamic signal uniformization Apr 07, 2021
OCaml 3 Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … Apr 18, 2020
OCaml 4 An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml. Jan 25, 2022
OCaml 4 Runtime and runner for a compiler from SQL to JavaScript Mar 22, 2022
OCaml 4 Pure OCaml parser for URIs for Geographic Locations Apr 22, 2022
OCaml 4 An automatic recursive function transformer. May 13, 2022
OCaml 4 API + Telegram bot + SPA for Dota 2 hero voicelines Jun 07, 2021
    summhub-app
OCaml 4 None Apr 01, 2019
OCaml 4 Access the Linear or RBF kernel SVM from OCaml using the R e1071 or svmpath … Mar 09, 2020
OCaml 4 Wrapper on top of libsvm-tools Nov 16, 2021
OCaml 4 Ocaml Learning Dec 29, 2015
OCaml 4 Mathematical proof checker which can be used to create Qeditas theories, signatures and documents Sep 01, 2021
OCaml 4 testing ppx_deriving_crowbar by automatically deriving parsetrees, and why not test them after that Aug 03, 2020
OCaml 4 Tools for making, manipulating, and viewing cross-stitch patterns. Feb 03, 2022
OCaml 4 Spreadsheet demo code from http://semantic-domain.blogspot.com/2015/07/how-to-implement-spreadsheet.html with additional test harness Jun 10, 2019
OCaml 4 Repositório com o conteúdo de Testes Unitários que aprensentei na Disciplina de Qualidade e Teste … Jul 20, 2022
    redex-phenomic
OCaml 4 None Jan 14, 2019
OCaml 4 Modular type checking using open types Feb 12, 2016
OCaml 4 SCGI protocol library for use in ocaml web applications Nov 26, 2020
OCaml 4 This is a modified version of Ott 0.25 Jan 28, 2021
OCaml 4 Intl bindings for Bucklescript Jul 05, 2021
OCaml 4 An implementation of dependently typed lambda calculus Jul 18, 2022
OCaml 4 Parser for chess Portable Game Format Aug 28, 2017
OCaml 4 一个用 OCaml 实现的 http(s) 代理服务器, 极低的资源占用，支持 Linux 和 Mac OSX 在内的 Unix. May 12, 2022
    bs-react-router-dom
OCaml 4 None Nov 26, 2017
OCaml 4 OCaml bindings to libyara May 13, 2022
OCaml 4 An experimental Scheme Nov 02, 2020
OCaml 4 An experiment in running zeit/micro using ocaml + bucklescript Jun 10, 2020
OCaml 4 "Functional Pearls" parsing in OCaml Aug 29, 2021
    try-ocaml
OCaml 4 None Feb 12, 2021