Alternatives and similar repositories for reggie:

Users that are interested in reggie are comparing it to the libraries listed below

• jessicalally / hello-world
  ☆9Updated 5 years ago
• goDoCer / imperial-computing-materials-downloader
  Automated downloader for Imperial College London Department of Computing Materials platform
  ☆8Updated 4 years ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated 2 years ago
• jordanspooner / haskell-tests
  My past paper solutions for the Haskell final test at Imperial College London
  ☆7Updated 7 years ago
• lin-e / imperial-revision
  ☆17Updated 3 years ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆50Updated 3 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆455Updated 4 years ago
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 3 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆187Updated last month
• dreamsmasher / is-even
  A Haskell library to verify if a number is even.
  ☆10Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆232Updated 9 months ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆41Updated 2 years ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆301Updated 3 months ago
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆137Updated 4 years ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago
• surajx / proof-assistant
  Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…
  ☆11Updated 6 years ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆179Updated last month
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆334Updated 4 years ago
• abigalekim / segtrees
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆21Updated 4 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆111Updated 10 months ago
• zyla / haskell-nullpointer
  NullPointerExceptions in Haskell
  ☆58Updated 7 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆164Updated 2 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆170Updated 5 months ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated last month
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆37Updated 2 years ago
• mstksg / advent-of-code-2020
  🎅🌟❄️☃️🎄🎁
  ☆99Updated 5 months ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆77Updated last year
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆257Updated 2 months ago
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆508Updated 10 months ago