diku-dk / dpp-e2022-pub

Related projects ⓘ

Alternatives and complementary repositories for dpp-e2022-pub

• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆15Updated 10 months ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated 10 months ago
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated last year
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆108Updated 6 months ago
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆49Updated last year
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated 10 months ago
• madvorak / lean4-tactics
  Overview of tactics in Lean 4 for beginners — longer version
  ☆59Updated 2 months ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆74Updated this week
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆181Updated 10 months ago
• OpenBioML / project-proposal-template
  The project proposal template for OpenBioML community projects.
  ☆18Updated last year
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆206Updated this week
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆225Updated last year
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆59Updated 3 years ago
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆78Updated 2 months ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆63Updated last year
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆80Updated this week
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆79Updated last year
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆49Updated last year
• nomeata / loogle
  Mathlib search tool
  ☆63Updated last week
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆117Updated 4 months ago
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆121Updated 2 years ago
• teorth / symmetric_project
  ☆85Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆108Updated 3 weeks ago
• A-F-V / Bioinformatics
  Algorithms covered in the Bioinformatics Course part of the Cambridge Computer Science Tripos
  ☆20Updated 9 months ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆84Updated last month
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆328Updated this week
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆219Updated 7 months ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆59Updated last month
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆206Updated this week