lollobaldo / Inf2D-cw1--autotester

Related projects ⓘ

Alternatives and complementary repositories for Inf2D-cw1--autotester

• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆60Updated 7 months ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,370Updated this week
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆649Updated 9 months ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆752Updated 9 months ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆449Updated 3 years ago
• thma / WhyHaskellMatters
  In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…
  ☆467Updated 10 months ago
• agda / agda-categories
  A new Categories library for Agda
  ☆368Updated this week
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆286Updated 9 months ago
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆863Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆222Updated 3 months ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆570Updated last month
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated last year
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆272Updated 3 months ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆40Updated last year
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,195Updated this week
• hasktorch / hasktorch
  Tensors and neural networks in Haskell
  ☆1,068Updated 4 months ago
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆502Updated 4 months ago
• tssm / up-to-date-real-world-haskell
  I'm trying to update the Real World Haskell book
  ☆792Updated last year
• google / haskell-trainings
  Haskell 101 and 102: slides and codelabs
  ☆1,385Updated last year
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,029Updated last year
• sondresl / AdventOfCode
  All my solutions to advent of code
  ☆10Updated 10 months ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆181Updated 5 months ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆336Updated 4 months ago
• i-am-tom / haskell-exercises
  A little course to learn about some of the more obscure GHC extensions.
  ☆637Updated last year
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆359Updated 4 years ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆14Updated 3 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆247Updated 7 months ago
• polysemy-research / polysemy
  higher-order, no-boilerplate monads
  ☆1,034Updated last week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆288Updated last year
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,584Updated last month