Vicfred / codeforces-haskell

Related projects ⓘ

Alternatives and complementary repositories for codeforces-haskell

• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆23Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 4 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated last week
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆25Updated 3 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated 5 years ago
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• nominolo / union-find
  Efficient union and equivalence testing of sets.
  ☆30Updated 5 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 2 years ago
• emilypi / group-theory
  The theory of groups
  ☆75Updated last year
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 4 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 6 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• byorgey / species
  ☆17Updated 9 months ago
• vmchale / dickinson
  Text generation language
  ☆32Updated 2 weeks ago
• mroman42 / vitrea
  Optics via the profunctor representation theorem
  ☆23Updated 2 years ago
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆22Updated 8 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆58Updated 4 years ago
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆25Updated 2 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆43Updated 4 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• leptonyu / tensors
  Tensors in Haskell
  ☆40Updated 3 weeks ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 4 months ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 3 months ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆49Updated 9 months ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆15Updated 4 years ago