A vim-emulator for jEdit 5
☆14Apr 4, 2023Updated 2 years ago
Alternatives and similar repositories for vimulator
Users that are interested in vimulator are comparing it to the libraries listed below
Sorting:
- A collection of useful tips/tricks/hints for Isabelle users.☆16May 2, 2024Updated last year
- A Scala library for controlling/interacting with Isabelle☆42Mar 9, 2026Updated last week
- 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☆36Jul 18, 2022Updated 3 years ago
- https://1000-plus.github.io/☆22Feb 11, 2026Updated last month
- Verification infrastructure for the Isabelle/HOL interactive proof assistant☆73Updated this week
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- Hippo7, modular vjing tool☆11Apr 17, 2020Updated 5 years ago
- 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)☆13Updated this week
- A gentle introduction to Isabelle and Isabelle/HOL☆19Mar 27, 2025Updated 11 months ago
- Specification for the ssb protocol☆14Aug 14, 2021Updated 4 years ago
- Binary parser for Crystal☆20Mar 13, 2022Updated 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
- 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 8 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
- ☆16Dec 2, 2025Updated 3 months ago
- ZuriHac 2020 GHC typechecker plugins project☆19Aug 15, 2021Updated 4 years ago
- The WaveScope/WaveScript project is migrating to github from MIT-hosted SVN.☆13Dec 3, 2014Updated 11 years ago
- Spotify Playlist randomizer created using Blazor☆21Jun 17, 2025Updated 9 months ago
- 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 13 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 3 years ago
- 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 9 months ago
- 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 5 years ago
- ☆17Aug 3, 2017Updated 8 years ago
- My own copy of jEdit's repository from jedit.sourceforge.net.☆30Jul 28, 2023Updated 2 years ago