Emulate Coq IDE in VIM
☆12Jun 14, 2013Updated 13 years ago
Alternatives and similar repositories for CoqIDE
Users that are interested in CoqIDE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interactive theorem proving with Coq in vim.☆185Sep 19, 2020Updated 6 years ago
- An example of dynamically loading a Haskell source module☆18May 9, 2018Updated 8 years ago
- define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set☆14Aug 25, 2026Updated last month
- Vim에서 LaTeX 사용하기위한 미니멀한 세팅☆10Jun 19, 2020Updated 6 years ago
- GuardianCTF 2018 Writeups Repository☆12Apr 13, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆17Apr 15, 2025Updated last year
- Coq Code☆17Dec 12, 2025Updated 10 months ago
- A simple container with cron to periodically backup a directory 🐳☆28Jun 11, 2021Updated 5 years ago
- A simple GUI for Agda☆31Dec 13, 2015Updated 10 years ago
- Purely functional Redux actions and reducers with PureScript.☆12Apr 19, 2016Updated 10 years ago
- ☆17Dec 8, 2022Updated 3 years ago
- Highlight quickfix errors, and display error messages as virtual text or in a popup window☆29Jul 26, 2024Updated 2 years ago
- Akka.NET with F# - Getting functional with Reactive systems☆10Oct 16, 2018Updated 8 years ago
- ☆18Apr 28, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 11 years ago
- SNU 2016 Fall 4190.310 Programming Language☆22Dec 13, 2016Updated 9 years ago
- 2018F Programming Language Homework Checker☆12Dec 10, 2018Updated 7 years ago
- TeX/LaTeXの知識を共有するためのリポジトリ。9割LaTeX☆26Oct 10, 2018Updated 8 years ago
- ☆11Oct 9, 2010Updated 16 years ago
- Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style☆14Feb 10, 2024Updated 2 years ago
- a fully-differentiable graphical raytracer☆15Jul 29, 2015Updated 11 years ago
- Material Circular Loader in SCSS like a boss. Demo: http://codepen.io/YuRen/details/KdKKax☆14Jan 12, 2017Updated 9 years ago
- High-Level Redis Database☆14Jul 18, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Generate commutative diagrams inside of Pandoc with Tikz☆34Jul 6, 2017Updated 9 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- Object-oriented matrix implementation in C99☆14Apr 7, 2017Updated 9 years ago
- A Rust crate for providing helpful methods in online judging.☆25Oct 9, 2022Updated 4 years ago
- ⛔️ DEPRECATED - no longer maintained☆16Dec 9, 2022Updated 3 years ago
- Coq executable semantics and resource verifier☆14Dec 23, 2015Updated 10 years ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆35May 14, 2017Updated 9 years ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Jun 9, 2026Updated 4 months ago
- A pandoc filter to express diagrams inline using the haskell EDSL diagrams.☆38Aug 9, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A node to control hardware devices via SSB feeds☆24Dec 4, 2022Updated 3 years ago
- A set of left-handed cursors for left-handed people. Flipped the right-hand Yaru cursors and made hotspot adjustments. As a bonus, this c…☆18Jan 31, 2023Updated 3 years ago
- Code for "Message Scheduling for Performant, Many-Core Belief Propagation"☆12Oct 25, 2019Updated 6 years ago
- Short scripts that enhance Anki flashcards☆12Feb 19, 2014Updated 12 years ago
- Futuristic New Age Golden Test management☆15Sep 27, 2022Updated 4 years ago
- ☆15May 23, 2017Updated 9 years ago
- ☆22Sep 8, 2021Updated 5 years ago