Alternatives and similar repositories for IsaHipster

Users that are interested in IsaHipster are comparing it to the libraries listed below

• meiersi / scyther-proof

  View on GitHub
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆18Jun 21, 2015Updated 10 years ago
• tip-org / tools

  View on GitHub
  ☆23Feb 24, 2025Updated 11 months ago
• catalin-hritcu / fstar-course

  View on GitHub
  Program verification with F* course materials
  ☆12Jul 6, 2019Updated 6 years ago
• wimmers / munta

  View on GitHub
  Fully verified model checker for realtime systems
  ☆17Sep 2, 2022Updated 3 years ago
• malonnnn / ServerConfig

  View on GitHub
  ☆10Aug 29, 2018Updated 7 years ago
• zhangir-azerbayev / repl

  View on GitHub
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆12Jun 19, 2023Updated 2 years ago
• berewt / acme-haskellee

  View on GitHub
  Haskell Enterprise Edition
  ☆12Nov 17, 2017Updated 8 years ago
• joaohf / OTP-PlantUML

  View on GitHub
  OTP diagrams using PlantUML
  ☆12Nov 28, 2019Updated 6 years ago
• opencensus-beam / opencensus-prometheus

  View on GitHub
  Export opencensus span metrics and statistics to Prometheus
  ☆18Jan 15, 2019Updated 7 years ago
• logic-tools / nadea

  View on GitHub
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Nov 20, 2022Updated 3 years ago
• kframework / p4-semantics

  View on GitHub
  Formal Semantics of P4 in K
  ☆20May 21, 2021Updated 4 years ago
• isabelle-utp / utp-main

  View on GitHub
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆38Jan 29, 2024Updated 2 years ago
• erlcloud / eini

  View on GitHub
  An Erlang INI parser
  ☆21May 4, 2021Updated 4 years ago
• inaka / katana-code

  View on GitHub
  Code Utilities for Erlang
  ☆17Jul 4, 2025Updated 7 months ago
• yamad / igorutils

  View on GitHub
  Utility modules for Igor Pro
  ☆23Jan 28, 2016Updated 10 years ago
• lrascao / raterl

  View on GitHub
  An erlang ETS based rate limiter inspired by Jobs
  ☆16Jul 13, 2021Updated 4 years ago
• erisata / paxoid

  View on GitHub
  Paxos based masterless ID/Sequence generator.
  ☆20Jun 25, 2019Updated 6 years ago
• ferd / slider

  View on GitHub
  A WxErlang application to generate slidesets.
  ☆40Oct 4, 2024Updated last year
• cmeiklejohn / partisan-usenix-atc-2019

  View on GitHub
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆23Jun 2, 2019Updated 6 years ago
• adriankumpf / logger-telegram-backend

  View on GitHub
  A logger backend for Telegram
  ☆28Feb 2, 2026Updated last week
• dnsimple / dnstest

  View on GitHub
  Erlang app for testing authoritative DNS servers for compliance.
  ☆28Jan 18, 2026Updated 3 weeks ago
• astarte-platform / astarte_core

  View on GitHub
  Astarte platform core Elixir modules
  ☆18Jan 23, 2026Updated 3 weeks ago
• MatthewFluet / company-mlton

  View on GitHub
  company-mode completion back-end for MLton/Standard ML
  ☆16Dec 7, 2020Updated 5 years ago
• Lysxia / profunctor-monad

  View on GitHub
  Bidirectional programming in Haskell with monadic profunctors
  ☆48May 17, 2022Updated 3 years ago
• SilverLabUCL / NeuroMatic

  View on GitHub
  NeuroMatic
  ☆25Jul 8, 2025Updated 7 months ago
• opencensus-beam / tracelog

  View on GitHub
  A logging handler that can transforms structured logs into opencensus distributed tracing spans
  ☆25Jul 22, 2019Updated 6 years ago
• g-andrade / deigma

  View on GitHub
  Event sampler
  ☆24Apr 9, 2022Updated 3 years ago
• cmu-l3 / ntp-toolkit

  View on GitHub
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆34Jan 26, 2026Updated 2 weeks ago
• societe-generale / aikit

  View on GitHub
  Automated machine learning package
  ☆28Mar 8, 2023Updated 2 years ago
• twotabsofacid / eat-shit-bot

  View on GitHub
  a twitter bot that retweets people
  ☆23Jun 6, 2020Updated 5 years ago
• AdRoll / spillway

  View on GitHub
  An Erlang OTP application for load shedding
  ☆26May 16, 2025Updated 8 months ago
• TOTBWF / muprl

  View on GitHub
  A small NuPRL style proof assistant
  ☆31Jan 31, 2019Updated 7 years ago
• JUrban / deepmath

  View on GitHub
  deep learning for math
  ☆29May 4, 2019Updated 6 years ago
• klarna-incubator / kache

  View on GitHub
  A generic, in-memory caching application based on ETS.
  ☆32May 5, 2025Updated 9 months ago
• eirproject / whirl

  View on GitHub
  WebAssembly compiler and runtime for BEAM languages
  ☆33Apr 24, 2019Updated 6 years ago
• jkrukoff / digraph_export

  View on GitHub
  File conversion and export support for graphs created using the Erlang digraph module.
  ☆35Apr 22, 2019Updated 6 years ago
• dlicata335 / hott-agda

  View on GitHub
  ☆86Sep 7, 2017Updated 8 years ago
• beardedeagle / alpine-erlang-builder

  View on GitHub
  Up to date Alpine image with the latest Erlang version for staged builds.
  ☆33Feb 3, 2021Updated 5 years ago
• alvarezleonardo / Material_DES

  View on GitHub
  Material extra
  ☆14Dec 6, 2017Updated 8 years ago