rednithin / judge

Related projects ⓘ

Alternatives and complementary repositories for judge

• bollu / coremlir
  Encoding of GHC Core inside MLIR
  ☆18Updated 4 years ago
• bgamari / io-uring
  A simple set of io-uring bindings in Haskell
  ☆28Updated 4 years ago
• tdp2110 / HaskellTiger
  Modern Compiler Implementation in ML, in Haskell
  ☆19Updated 3 years ago
• composewell / haskell-dev
  Haskell development resources and best practices
  ☆18Updated 3 years ago
• AndrasKovacs / implicit-fun-elaboration
  Implementation for ICFP 2020 paper
  ☆49Updated 3 years ago
• re-xyr / hina
  ~ Fragile apparatus of naive wonderland.
  ☆10Updated 3 years ago
• AndrasKovacs / sett
  Setoid type theory implementation
  ☆38Updated last year
• input-output-hk / plutus-metatheory
  Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)
  ☆9Updated 2 years ago
• meraymond2 / idris-ide-client
  TypeScript client for Idris IDE-mode.
  ☆11Updated 2 years ago
• patrickt / tactics
  Deep-embedded combinators for strategic rewriting.
  ☆15Updated 2 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆40Updated 3 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆17Updated 10 months ago
• osa1 / h10
  A Haskell 2010 type checker
  ☆14Updated 8 months ago
• deadpendency / deadpendency
  ☆22Updated last year
• masaeedu / monadoptics
  Profunctor optics for the endofunctor category on Hask
  ☆27Updated 4 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 3 years ago
• agda-web / agda-wasm-dist
  Distributions of Agda executable compiled into WebAssembly.
  ☆16Updated 3 months ago
• ucsd-progsys / liquid-sf
  Port "Software Foundations" to LiquidHaskell
  ☆11Updated 4 years ago
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆14Updated 2 months ago
• andgate / type-theory-compiler
  Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…
  ☆42Updated 5 years ago
• AndrasKovacs / thesis
  my phd thesis
  ☆26Updated 3 months ago
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 2 weeks ago
• identicalsnowflake / cantor-pairing
  Convert data to and from a natural number representation
  ☆13Updated 3 years ago
• lambda-pi-plus / lambda-pi-plus
  A simple Depdently-Typed Language for Research and Learning
  ☆58Updated 8 years ago
• luke-clifton / generic-monoid
  Deriving Semigroup and Monoid instances for your product types
  ☆11Updated 2 months ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆15Updated 2 years ago
• bolt12 / f-algebra-gen
  Generate a special combinator from any data type.
  ☆11Updated 5 years ago
• sdiehl / galois-field
  Finite field and algebraic extension field arithmetic
  ☆50Updated 9 months ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated last month