A vim-emulator for jEdit 5
☆14Apr 4, 2023Updated 3 years ago
Alternatives and similar repositories for vimulator
Users that are interested in vimulator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of useful tips/tricks/hints for Isabelle users.☆16May 2, 2024Updated 2 years ago
- A Scala library for controlling/interacting with Isabelle☆43Mar 9, 2026Updated 3 months ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Nov 30, 2022Updated 3 years ago
- A best-first-search theorem prover implemented in Isabelle☆37Jul 18, 2022Updated 3 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Hippo7, modular vjing tool☆11Apr 17, 2020Updated 6 years ago
- https://1000-plus.github.io/☆24Apr 15, 2026Updated 2 months ago
- Verification infrastructure for the Isabelle/HOL interactive proof assistant☆98Jun 24, 2026Updated last week
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- A client for Isabelle server (https://isabelle.in.tum.de)☆14Jun 20, 2026Updated last week
- A gentle introduction to Isabelle and Isabelle/HOL☆20Mar 27, 2025Updated last year
- Specification for the ssb protocol☆14Aug 14, 2021Updated 4 years ago
- This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical Unive…☆16Mar 12, 2019Updated 7 years ago
- Solutions of the exercises of the HoTT book☆23Dec 15, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Binary parser for Crystal☆21Mar 13, 2022Updated 4 years ago
- deprecated by `design-tools`☆17Dec 5, 2018Updated 7 years ago
- An easy way to open custom modals in a cyclejs app☆12Dec 4, 2018Updated 7 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- Generate a type-safe openssl configuration file with dhall☆14Aug 25, 2023Updated 2 years ago
- My new dotfiles for SwayWM on Arch Linux☆12Mar 16, 2021Updated 5 years ago
- Groovy builder DSL for writing JFreeChart graphs.☆12Sep 24, 2018Updated 7 years ago
- Very fast, very simple hash algorithm designed for use in Rust integer hash maps & sets☆18Dec 9, 2018Updated 7 years ago
- ☆19Dec 2, 2025Updated 6 months 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.
- ZuriHac 2020 GHC typechecker plugins project☆19Aug 15, 2021Updated 4 years ago
- ELM327 OBDII CAN Bus Python Car Diagnostic Software☆11Nov 22, 2022Updated 3 years ago
- The WaveScope/WaveScript project is migrating to github from MIT-hosted SVN.☆12Dec 3, 2014Updated 11 years ago
- Spotify Playlist randomizer created using Blazor☆21Jun 17, 2025Updated last year
- A gem that makes it easy to serialize your objects to json and back. Without this, you'll have to add your own to_json and json_create me…☆16Mar 29, 2012Updated 14 years ago
- Swagger API docs for Play Framework☆24Feb 17, 2024Updated 2 years ago
- Makes all children of a selected component sortable☆17Jan 3, 2019Updated 7 years ago
- High-performance data retrieval from Neo4j with Apache Arrow 🏹☆32Jul 14, 2022Updated 3 years ago
- Send email and SMS broadcasts to your contacts. SMS are sent via your Android phone connected to your PC.☆20May 23, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A bunch of cool scripts to send a webhook on build passed/failed.☆10Jan 8, 2018Updated 8 years ago
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated last year
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆22Nov 26, 2022Updated 3 years ago
- Sample project using sinatra and faye-websocket☆21Feb 9, 2015Updated 11 years ago
- AutoCrop for Vapoursynth☆16Nov 13, 2018Updated 7 years ago
- 🦕🦀Writing WebAssembly in Rust and runing it in Deno!☆16May 18, 2020Updated 6 years ago
- ☆17Aug 3, 2017Updated 8 years ago