recursion-ninja / CSCI-499-2021-Fall

Related projects: ⓘ

• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆269Updated 2 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆100Updated 3 months ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆160Updated last year
• LeifAndersen / PLGradSchools
  ☆219Updated last month
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆87Updated last year
• lollobaldo / Inf2D-cw1--autotester
  ☆24Updated 2 years ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆144Updated 4 months ago
• litiwu / Spring-2021-Notes
  i like taking notes ( "´༥`" )
  ☆8Updated last year
• codyroux / name-the-biggest-number
  ☆62Updated 2 years ago
• formalabstracts / formalabstracts
  ☆158Updated 4 years ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆31Updated 3 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆72Updated 2 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆278Updated 7 months ago
• zhangchiqing / beginner-friendly-haskell-for-web-development
  A book about real world web development in beginner friendly Haskell
  ☆78Updated 5 years ago
• nd / bird
  Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird
  ☆15Updated 11 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆146Updated 2 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆283Updated 11 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆334Updated this week
• dtraytel / cyp
  Checker for "morally correct" induction proofs about haskell programs
  ☆8Updated 2 years ago
• statebox / idris-ct
  formally verified category theory library
  ☆254Updated 4 years ago
• tonyday567 / checklist
  How I start Haskell.
  ☆99Updated 8 months ago
• isovector / cornelis
  agda-mode for neovim
  ☆130Updated 4 months ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆160Updated last week
• zyla / haskell-nullpointer
  NullPointerExceptions in Haskell
  ☆58Updated 7 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆181Updated 3 months ago
• ChrisPenner / wc
  Beating unix `wc` in Haskell
  ☆136Updated 3 years ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆226Updated this week
• RedPRL / cooltt
  😎TT
  ☆217Updated 11 months ago
• wilbowma / pl-thesaurus
  ☆89Updated 2 years ago
• aymannadeem / foldilocks
  Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.
  ☆188Updated 5 years ago