wdhg / reggie

Related projects ⓘ

Alternatives and complementary repositories for reggie

• jessicalally / hello-world
  ☆9Updated 4 years ago
• goDoCer / imperial-computing-materials-downloader
  Automated downloader for Imperial College London Department of Computing Materials platform
  ☆8Updated 3 years ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated last year
• jordanspooner / haskell-tests
  My past paper solutions for the Haskell final test at Imperial College London
  ☆8Updated 7 years ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆50Updated 2 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 10 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆274Updated 2 months ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated last year
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆79Updated last year
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆346Updated this week
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆134Updated 4 years ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆40Updated last year
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆61Updated 8 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆236Updated 2 months ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆228Updated last year
• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆107Updated 4 years ago
• lin-e / imperial-revision
  ☆16Updated 2 years ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆291Updated 2 weeks ago
• dreamsmasher / is-even
  A Haskell library to verify if a number is even.
  ☆11Updated last year
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆292Updated 8 months ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆22Updated last week
• LeifAndersen / PLGradSchools
  ☆223Updated 3 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated 7 months ago
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆117Updated last month
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆35Updated 2 years ago
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆168Updated last week
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆450Updated 3 years ago
• mikeshulman / narya
  A proof assistant for higher-dimensional type theory
  ☆148Updated last week
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆116Updated 2 months ago
• sondresl / AdventOfCode
  All my solutions to advent of code
  ☆10Updated 10 months ago