Alternatives and similar repositories for deepalgebra

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

• dpiponi / formal-weyl

  View on GitHub
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Jul 25, 2018Updated 7 years ago
• psibi / sysinfo

  View on GitHub
  Haskell Interface for getting overall system statistics
  ☆16Feb 8, 2019Updated 7 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
• dmjio / c-ffi-example

  View on GitHub
  Example usage of the Haskell C FFI with hsc2hs
  ☆12Dec 14, 2024Updated last year
• rpasta42 / ChessKell

  View on GitHub
  Chess Engine written in Haskell
  ☆15Jul 6, 2018Updated 7 years ago
• lemmih / fvg

  View on GitHub
  Functional Vector Graphics
  ☆17Jun 19, 2017Updated 8 years ago
• mstksg / backprop-learn

  View on GitHub
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆34Feb 3, 2020Updated 6 years ago
• bitonic / zurihac-plays

  View on GitHub
  ☆12Jun 13, 2017Updated 8 years ago
• EconometricsBySimulation / AbstractLogic.jl

  View on GitHub
  An Abstract Reasoning Logic Interface
  ☆15Oct 16, 2020Updated 5 years ago
• koengit / satplus

  View on GitHub
  ☆13May 2, 2023Updated 2 years ago
• LeastAuthority / haskell-spake2

  View on GitHub
  SPAKE2 key exchange protocol for Haskell
  ☆14May 24, 2023Updated 2 years ago
• Neuromancer42 / ministgwasm

  View on GitHub
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Jun 13, 2017Updated 8 years ago
• GaloisInc / gidl

  View on GitHub
  Gidl: an Interface Description Language
  ☆10Aug 11, 2017Updated 8 years ago
• jship / tao

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

  View on GitHub
  ☆14Sep 24, 2017Updated 8 years ago
• thoughtpolice / hs-ed25519

  View on GitHub
  Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.
  ☆22Jun 6, 2025Updated 8 months ago
• robrix / abstract-interpretation

  View on GitHub
  Experiments in abstracting definitional interpreters
  ☆16Oct 13, 2017Updated 8 years ago
• winterland1989 / unboxed-ref

  View on GitHub
  Fast unboxed references for ST and IO monad
  ☆15Jul 17, 2017Updated 8 years ago
• clash-lang / ghc-typelits-extra

  View on GitHub
  Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  ☆18Jan 16, 2026Updated 3 weeks ago
• rahulmutt / eta-servant-example

  View on GitHub
  Example of using the servant web framework in Eta
  ☆16Feb 5, 2018Updated 8 years ago
• snowleopard / united

  View on GitHub
  United Monoids
  ☆24Oct 2, 2022Updated 3 years ago
• spaceships / garbled-circuits

  View on GitHub
  haskell implementation of garbled circuits
  ☆12Dec 3, 2017Updated 8 years ago
• opencompl / egg-tactic-code

  View on GitHub
  ☆16Jul 3, 2023Updated 2 years ago
• derekelkins / ads

  View on GitHub
  Authenticated Data Structures
  ☆16Jul 5, 2015Updated 10 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
• vincenthz / hs-socks

  View on GitHub
  Socks proxy library for haskell
  ☆19Aug 23, 2022Updated 3 years ago
• mikeizbicki / homoiconic

  View on GitHub
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18May 15, 2019Updated 6 years ago
• bollu / coremlir

  View on GitHub
  Encoding of GHC Core inside MLIR
  ☆19Nov 12, 2020Updated 5 years ago
• levex / haskell-doom

  View on GitHub
  doom
  ☆17Mar 8, 2016Updated 9 years ago
• cocreature / lrucaching

  View on GitHub
  Haskell implementation of an LRU cache
  ☆25Dec 29, 2025Updated last month
• serokell / time-warp

  View on GitHub
  Distributed systems execution emulation
  ☆18Nov 28, 2018Updated 7 years ago
• automorphic-project / automorphic-project

  View on GitHub
  All the math/tex files for the Automorphic Project
  ☆19Updated this week
• well-typed / full-text-search

  View on GitHub
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Jan 24, 2025Updated last year
• phadej / topograph

  View on GitHub
  Directed Acyclic Graphs
  ☆21Jan 12, 2025Updated last year
• aditya-khant / neural-assembly-compiler

  View on GitHub
  A neural assembly compiler for pyTorch based on adaptive-neural-compilation
  ☆27Mar 27, 2018Updated 7 years ago
• GaloisInc / cryfsm

  View on GitHub
  convert simple cryptol expressions into finite-state machines
  ☆22Sep 15, 2017Updated 8 years ago
• micahhahn / FunctionalGeometry

  View on GitHub
  A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
  ☆26Feb 25, 2017Updated 8 years ago
• benjaminselfridge / logix

  View on GitHub
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆21Jun 3, 2022Updated 3 years ago
• mstane / software-architecture-lab

  View on GitHub
  Design Software Architecture Research
  ☆13May 27, 2018Updated 7 years ago