Alternatives and similar repositories for temporalog

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

• madgen / exalog

  View on GitHub
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Jun 24, 2020Updated 5 years ago
• andrewthad / primitive-containers

  View on GitHub
  Map and Set over contiguous memory
  ☆22Aug 9, 2023Updated 2 years ago
• eviefp / logic-in-haskell

  View on GitHub
  Classical Logic in Haskell
  ☆24Nov 19, 2025Updated 2 months ago
• phadej / topograph

  View on GitHub
  Directed Acyclic Graphs
  ☆21Jan 12, 2025Updated last year
• catseye / Philomath

  View on GitHub
  MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
  ☆16Dec 19, 2023Updated 2 years ago
• tdammers / ghc-wiki

  View on GitHub
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Mar 9, 2019Updated 6 years ago
• masterdezign / dde

  View on GitHub
  Delay Differential Equations in Haskell
  ☆11Dec 4, 2018Updated 7 years ago
• samsergey / monopig

  View on GitHub
  Monoidal stack machine
  ☆10Nov 25, 2018Updated 7 years ago
• TobiReinhart / sparse-tensor

  View on GitHub
  typesafe implementation of tensor algebra in Haskell
  ☆13Feb 27, 2021Updated 4 years ago
• verement / lmdb-simple

  View on GitHub
  Simple Haskell API for LMDB
  ☆12Jun 17, 2019Updated 6 years ago
• TravisWhitaker / libglaswegian

  View on GitHub
  Use GHC's Memory Allocator from C
  ☆12Feb 22, 2020Updated 5 years ago
• liarokapisv / danac

  View on GitHub
  A compiler for the Dana programming language
  ☆11Apr 25, 2021Updated 4 years ago
• LightAndLight / closure

  View on GitHub
  Closure calculus implementation
  ☆12Jun 25, 2019Updated 6 years ago
• Fuuzetsu / ghc-prof-aeson-flamegraph

  View on GitHub
  Turn GHC `-pj` profiling output into FlameGraph format.
  ☆13Mar 2, 2018Updated 7 years ago
• edsko / stack2cabal

  View on GitHub
  ☆14Apr 17, 2022Updated 3 years ago
• tyehle / llvm-lambda

  View on GitHub
  A compiler for a simple language using llvm
  ☆37Jun 14, 2023Updated 2 years ago
• evincarofautumn / Ward

  View on GitHub
  A static analysis tool for C.
  ☆29Oct 29, 2019Updated 6 years ago
• nabijaczleweli / wustc

  View on GitHub
  Exampwe of ewwonyenyonyuns code:
  ☆15Sep 25, 2019Updated 6 years ago
• thoughtpolice / claap

  View on GitHub
  "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
  ☆13Mar 31, 2017Updated 8 years ago
• proglang / ldgv

  View on GitHub
  Label dependent dependent session types
  ☆16May 2, 2024Updated last year
• bobatkey / sorting-types

  View on GitHub
  Typed DSLs for sorting
  ☆20Feb 16, 2018Updated 7 years ago
• mwotton / lz4hs

  View on GitHub
  Haskell bindings to lz4
  ☆21Updated this week
• jtanguy / hmacaroons

  View on GitHub
  Pure haskell implementation of macaroons
  ☆14Jan 26, 2021Updated 5 years ago
• ocramz / taco-hs

  View on GitHub
  Haskell port of the Tensor Algebra COmpiler
  ☆16Nov 18, 2019Updated 6 years ago
• egison / egison-haskell

  View on GitHub
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Jul 13, 2020Updated 5 years ago
• Lysxia / metamorph

  View on GitHub
  Monomorphize polymorphic functions for testing
  ☆36Jan 17, 2017Updated 9 years ago
• jwiegley / haskell-to-c

  View on GitHub
  Sample code to build a C library from a Haskell module, then call it from C
  ☆16Jun 22, 2017Updated 8 years ago
• seagreen / llvm-in-haskell

  View on GitHub
  Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell
  ☆17Apr 13, 2019Updated 6 years ago
• jship / tao

  View on GitHub
  Type-level assertion operators
  ☆16Mar 20, 2018Updated 7 years ago
• nobrakal / tungsten

  View on GitHub
  Bring fusion to everyone
  ☆14Feb 6, 2020Updated 6 years ago
• mpickering / hashtag-coerce

  View on GitHub
  A GHC source plugin which detects opportunities to use coerce
  ☆17Aug 8, 2018Updated 7 years ago
• sheyll / newtype-zoo

  View on GitHub
  A Zoo of Haskell Newtype Wrappers
  ☆15Nov 30, 2020Updated 5 years ago
• audreyt / network-multicast

  View on GitHub
  [Haskell] The "Network.Multicast" module is for sending UDP datagrams over multicast (class D) addresses.
  ☆23Oct 22, 2023Updated 2 years ago
• msprotz / proof-search-monad

  View on GitHub
  Tentative write-up of a neat trick used in the Mezzo type-checker
  ☆15Nov 27, 2015Updated 10 years ago
• snoyberg / zerem

  View on GitHub
  Haskell streaming library optimized for low CPU and GC overhead
  ☆16Jun 21, 2018Updated 7 years ago
• LS-Lab / Coq-dL

  View on GitHub
  A formally verified implementation of differential dynamic logic in Coq
  ☆18May 16, 2022Updated 3 years ago
• merijn / timeit

  View on GitHub
  A simple wrapper of an IO computation to show the used CPU time.
  ☆16Mar 14, 2025Updated 11 months ago
• cocreature / zkboo-hs

  View on GitHub
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Sep 1, 2018Updated 7 years ago
• iand675 / hs-brotli

  View on GitHub
  ☆20Apr 17, 2019Updated 6 years ago