Alternatives and similar repositories for mi-wpf-digitale-kommunikation

Users that are interested in mi-wpf-digitale-kommunikation are comparing it to the libraries listed below

• jacobstanley / acme-flipping-tables
  Stop execution with rage.
  ☆12Updated 7 years ago
• TOTBWF / iso
  A reversible language
  ☆22Updated 6 years ago
• mniip / yoctoparsec
  A truly tiny monadic parsing library
  ☆28Updated 4 years ago
• solomon-b / HowardLang
  An interpreted lambda calculus with Algebraic and Recursive Types.
  ☆17Updated 4 years ago
• cau-placc / inversion-plugin
  ☆9Updated 9 months ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated last year
• derekelkins / agda-vim
  Agda interaction in vim
  ☆133Updated 3 years ago
• msuperdock / vim-agda
  Asynchronous type-checking for Agda 2.6.2.
  ☆22Updated last year
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆30Updated 5 years ago
• djv / VisualProf
  http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot
  ☆59Updated 9 years ago
• zudov / 24-days-of-syntactic-witchery
  Aligning characters for fun and profit, with Haskell and PureScript
  ☆74Updated 7 years ago
• gallais / thesis
  Syntaxes with Binding, Their Programs, and Proofs
  ☆23Updated last year
• facundominguez / stitch-lh
  ☆11Updated 3 years ago
• isovector / ghci.vim
  ↔️ tight ghci integration for vim
  ☆17Updated 2 years ago
• coot / ghc-tags-plugin
  Generate tags file for haskell modules (GHC)
  ☆41Updated last month
• YellPika / constraint-rules
  Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
  ☆18Updated 3 years ago
• rowtype-yoga / purescript-yoga-json
  ☆16Updated 4 months ago
• raymoo / NEET
  Neuroevolution of Augmented Topologies (NEAT) -- in Haskell
  ☆12Updated 8 years ago
• wrengr / bytestring-trie
  An efficient finite map from (byte)strings to values.
  ☆20Updated 2 months ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆45Updated 3 years ago
• jhb563 / MazeGame
  ☆15Updated 5 years ago
• yamadapc / haskell-drawille
  Port of asciimoo/drawille to haskell.
  ☆26Updated last year
• winterland1989 / stdio
  Haskell Standard Input and Output
  ☆46Updated 7 years ago
• kowainik / life-sync
  🔄 Synchronize personal configs across multiple machines
  ☆21Updated 4 years ago
• bgamari / the-thoralf-plugin
  This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
  ☆21Updated 3 years ago
• phijor / agda-mode-ng
  Let's rethink how we interact with Agda
  ☆18Updated 2 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆85Updated last week
• msp-strath / Mary
  Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
  ☆17Updated last year
• ahammar / placeholders
  Placeholders for use while developing Haskell code
  ☆29Updated 14 years ago
• hasura / monad-validate
  (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…
  ☆32Updated 3 years ago