Alternatives and similar repositories for cobra

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

• fu-dietersheim / Blockchain

  View on GitHub
  A verified permissioned centralized Blockchain for Isabelle/HOL
  ☆11Feb 3, 2018Updated 8 years ago
• curry-club-aux / curry-club-augsburg.de

  View on GitHub
  Our Website
  ☆17Oct 19, 2022Updated 3 years ago
• iblech / vortrag-haskell

  View on GitHub
  Slides for an introductory talk about Haskell (in German)
  ☆11May 16, 2020Updated 5 years ago
• cmeiklejohn / distributed-data-structures

  View on GitHub
  Distributed Data Structures in Coq
  ☆49Oct 7, 2013Updated 12 years ago
• fsieczkowski / System-T

  View on GitHub
  Formalisation of Goedel's System T in Coq
  ☆15Jul 1, 2011Updated 14 years ago
• oriansj / talk-notes

  View on GitHub
  Collection of notes for talks
  ☆13Jan 6, 2024Updated 2 years ago
• TomasMikula / freebind

  View on GitHub
  Exploration of the Free monad without point
  ☆11Oct 23, 2016Updated 9 years ago
• matijapretnar / proofs

  View on GitHub
  A collection of mechanised proofs
  ☆19Feb 4, 2020Updated 6 years ago
• okomok / strcat

  View on GitHub
  TeX files for summary of category theory
  ☆15Apr 9, 2016Updated 9 years ago
• mandubian / khats

  View on GitHub
  Khats, cats on Higher-Kinded amphets
  ☆15Aug 17, 2016Updated 9 years ago
• gmalecha / template-coq

  View on GitHub
  Reflection library for Coq
  ☆12Sep 26, 2019Updated 6 years ago
• jstolarek / why-dependent-types-matter

  View on GitHub
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Jun 14, 2018Updated 7 years ago
• k0001 / umzug

  View on GitHub
  This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.
  ☆17Apr 19, 2019Updated 6 years ago
• rocq-prover / bot

  View on GitHub
  The Rocq Prover bot
  ☆24Jan 30, 2026Updated 2 weeks ago
• pcapriotti / agda-base

  View on GitHub
  Base library for HoTT in Agda
  ☆39Apr 2, 2019Updated 6 years ago
• dalaing / type-systems

  View on GitHub
  ☆23Aug 30, 2017Updated 8 years ago
• heades / System-F-Coq

  View on GitHub
  System F in coq.
  ☆19Jan 27, 2015Updated 11 years ago
• aaronvargo / scalaFP

  View on GitHub
  Functional experiments in Scala
  ☆21Apr 24, 2017Updated 8 years ago
• TomasMikula / LambdaCart

  View on GitHub
  Lambda syntax for Scala EDSLs
  ☆27Sep 18, 2023Updated 2 years ago
• ynot-harvard / ynot

  View on GitHub
  The Ynot Project source code.
  ☆22May 5, 2014Updated 11 years ago
• diekmann / Iptables_Semantics

  View on GitHub
  Verified iptables Firewall Ruleset Analysis
  ☆99Jun 28, 2024Updated last year
• pigworker / Totality

  View on GitHub
  being the programs and code for a paper about general recursion
  ☆26Feb 15, 2015Updated 10 years ago
• TOTBWF / muprl

  View on GitHub
  A small NuPRL style proof assistant
  ☆31Jan 31, 2019Updated 7 years ago
• coq-io / system

  View on GitHub
  Library of Unix effects for Coq.
  ☆23Sep 28, 2019Updated 6 years ago
• Ptival / PeaCoq

  View on GitHub
  PeaCoq is a pretty Coq, isn't it?
  ☆105Jul 26, 2021Updated 4 years ago
• inc-lc / ilc-scala

  View on GitHub
  Scala implementation of ILC, with benchmarks
  ☆27Jul 5, 2016Updated 9 years ago
• tferi / templateFX

  View on GitHub
  TemplateFX is a JavaFX UI definition and reconcilation library, written in Scala.
  ☆25Aug 20, 2019Updated 6 years ago
• mandubian / freek

  View on GitHub
  Free wrapper specialized to Coproducts of DSL/Containers
  ☆25Dec 15, 2016Updated 9 years ago
• Predizioni-Epidemiologiche-Italia / Influcast

  View on GitHub
  ☆12Updated this week
• nlp-tlp / maintie

  View on GitHub
  Maintenance Information Extraction (MaintIE)
  ☆16Jun 29, 2024Updated last year
• picorana / sparqling

  View on GitHub
  Visual tool for SPARQL queries on graphol graphs
  ☆10Oct 3, 2018Updated 7 years ago
• biswanathdutta / CODO

  View on GitHub
  CODO is an ontology for the semantic representation and annotation of COVID-19 data in a machine-readable form for tracking history of th…
  ☆10Apr 19, 2022Updated 3 years ago
• scala-yinyang / scala-yinyang

  View on GitHub
  Library for deep embedding of DSLs based on Scala macros.
  ☆75Jan 12, 2016Updated 10 years ago
• ekmett / zippers

  View on GitHub
  Zippers based on lenses and traversals
  ☆41Aug 9, 2023Updated 2 years ago
• jwiegley / bytestring-fiat

  View on GitHub
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Apr 4, 2022Updated 3 years ago
• innoverio / lakefs-trino-iceberg

  View on GitHub
  ☆11Feb 24, 2022Updated 3 years ago
• fedora-infra / fedora-tagger

  View on GitHub
  Small tagger app for Fedora Community
  ☆15Oct 29, 2018Updated 7 years ago
• agnos-ai / reactive-sparql

  View on GitHub
  A Reactive Sparql Client written in Scala and Akka
  ☆13Sep 18, 2023Updated 2 years ago
• cfinlay / PyTorch-HelloWorld

  View on GitHub
  A basic DNN tutorial in PyTorch, for persons without a background in Linux, Python, or remote servers
  ☆10Apr 2, 2020Updated 5 years ago