moajohansson / IsaHipsterView external linksLinks
Theory Exploration for Isabelle using HipSpec
☆20Jun 7, 2024Updated last year
Alternatives and similar repositories for IsaHipster
Users that are interested in IsaHipster are comparing it to the libraries listed below
Sorting:
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆18Jun 21, 2015Updated 10 years ago
- ☆23Feb 24, 2025Updated 11 months ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 6 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- ☆10Aug 29, 2018Updated 7 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Haskell Enterprise Edition☆12Nov 17, 2017Updated 8 years ago
- OTP diagrams using PlantUML☆12Nov 28, 2019Updated 6 years ago
- Export opencensus span metrics and statistics to Prometheus☆18Jan 15, 2019Updated 7 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- Formal Semantics of P4 in K☆20May 21, 2021Updated 4 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆38Jan 29, 2024Updated 2 years ago
- An Erlang INI parser☆21May 4, 2021Updated 4 years ago
- Code Utilities for Erlang☆17Jul 4, 2025Updated 7 months ago
- Utility modules for Igor Pro☆23Jan 28, 2016Updated 10 years ago
- An erlang ETS based rate limiter inspired by Jobs☆16Jul 13, 2021Updated 4 years ago
- Paxos based masterless ID/Sequence generator.☆20Jun 25, 2019Updated 6 years ago
- A WxErlang application to generate slidesets.☆40Oct 4, 2024Updated last year
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆23Jun 2, 2019Updated 6 years ago
- A logger backend for Telegram☆28Feb 2, 2026Updated last week
- Erlang app for testing authoritative DNS servers for compliance.☆28Jan 18, 2026Updated 3 weeks ago
- Astarte platform core Elixir modules☆18Jan 23, 2026Updated 3 weeks ago
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆48May 17, 2022Updated 3 years ago
- NeuroMatic☆25Jul 8, 2025Updated 7 months ago
- A logging handler that can transforms structured logs into opencensus distributed tracing spans☆25Jul 22, 2019Updated 6 years ago
- Event sampler☆24Apr 9, 2022Updated 3 years ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆34Jan 26, 2026Updated 2 weeks ago
- Automated machine learning package☆28Mar 8, 2023Updated 2 years ago
- a twitter bot that retweets people☆23Jun 6, 2020Updated 5 years ago
- An Erlang OTP application for load shedding☆26May 16, 2025Updated 8 months ago
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- deep learning for math☆29May 4, 2019Updated 6 years ago
- A generic, in-memory caching application based on ETS.☆32May 5, 2025Updated 9 months ago
- WebAssembly compiler and runtime for BEAM languages☆33Apr 24, 2019Updated 6 years ago
- File conversion and export support for graphs created using the Erlang digraph module.☆35Apr 22, 2019Updated 6 years ago
- ☆86Sep 7, 2017Updated 8 years ago
- Up to date Alpine image with the latest Erlang version for staged builds.☆33Feb 3, 2021Updated 5 years ago
- Material extra☆14Dec 6, 2017Updated 8 years ago