Alternatives and similar repositories for logic-programming-2019-2020

Users that are interested in logic-programming-2019-2020 are comparing it to the libraries listed below

• stefk0 / eai
  Записки по „Езици, автомати и изчислимост"
  ☆14Updated 3 years ago
• triffon / fp-2023-24
  Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (2 поток) и избираема …
  ☆16Updated last year
• SwiftFMI / SwiftLectures
  ☆11Updated 2 years ago
• haskell / security-advisories
  ☆59Updated last week
• espr1t / action
  Act!O(n) Arena
  ☆10Updated 3 months ago
• phadej / overloaded
  Overloaded plugin
  ☆31Updated last year
• mniip / cabal-matrix
  Matrix builds for cabal
  ☆16Updated last month
• mpickering / hs-speedscope
  ☆33Updated 5 months ago
• jecaro / diverk
  An Android app to browse GitHub repositories
  ☆15Updated last week
• patrickt / configurant
  A Haskell library for loading configuation data from environment variables.
  ☆17Updated 3 years ago
• mstksg / typelits-printf
  Type-safe printf from parsing GHC TypeLits Symbol
  ☆27Updated last year
• Bodigrim / quote-quot
  Divide without division
  ☆20Updated 3 months ago
• HugoPeters1024 / hs-sleuth
  This might one day be a thesis project
  ☆11Updated 2 years ago
• YanaRGeorgieva / Logic-programming
  ☆61Updated 2 years ago
• nfrisby / tcplugins-zurihac2020
  ZuriHac 2020 GHC typechecker plugins project
  ☆19Updated 4 years ago
• cdepillabout / nix-reverse-deps-of-haskell-package
  Find or build all reverse dependencies of a Haskell package using Nix
  ☆14Updated 5 years ago
• ekmett / codebruijn
  experiments with pext/pdep and codebruijn syntax
  ☆17Updated 6 years ago
• jhgarner / Xest-Window-Manager
  The zesty window manager
  ☆16Updated 4 years ago
• Bodigrim / tasty-bench-fit
  Benchmark a given function for variable input sizes and find out its time complexity
  ☆25Updated 8 months ago
• cau-placc / inversion-plugin
  ☆10Updated 2 weeks ago
• isovector / constraints-emerge
  📤 defer instance resolution until runtime
  ☆18Updated 6 years ago
• YellPika / constraint-rules
  Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
  ☆18Updated 4 years ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 8 months ago
• tfausak / splint
  HLint as a GHC source plugin.
  ☆31Updated last year
• mpickering / ghc-artefact-nix
  Create environments with GHC HEAD artefacts
  ☆26Updated 2 years ago
• hackage-trustees / hackage-cli
  CLI tool for Hackage
  ☆27Updated 2 months ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 3 months ago
• tfausak / hlint-action
  Checks that Haskell files are linted with HLint.
  ☆12Updated 3 years ago
• junjihashimoto / sixel
  ☆53Updated 4 years ago
• clash-lang / ghc-typelits-natnormalise
  Normalise GHC.TypeLits.Nat equations
  ☆43Updated last month