Vicfred / codeforces-haskell

Related projects ⓘ

Alternatives and complementary repositories for codeforces-haskell

• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated this week
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆83Updated last year
• ngzhian / ski
  SKI combinators
  ☆50Updated 7 years ago
• Lysxia / advent-of-coq-2021
  ☆38Updated 2 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 3 years ago
• cedille / ial
  The Iowa Agda Library
  ☆46Updated 5 months ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆84Updated 8 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆48Updated 9 months ago
• UniMath / Schools
  ☆77Updated 2 months ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆55Updated 2 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
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 4 years ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 9 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆71Updated 4 years ago
• favonia / hdtt2020-notes
  ☆35Updated 3 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated 10 months ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• thery / hanoi
  Hanoi tower in Coq
  ☆24Updated last year
• fwcd / curry-language-server
  IDE support for the functional logic language Curry
  ☆27Updated last month
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆91Updated 2 weeks ago
• amnh / PCG
  𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search
  ☆28Updated 2 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• dhil / phd-dissertation
  A summary of my activities during the past four years
  ☆28Updated last month
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆25Updated 3 years ago
• mstksg / inCode
  Source for personal blog.
  ☆76Updated last week
• b-mehta / combinatorics
  ☆21Updated 2 years ago