DanielRrr

Algebraic & modal logic and category theory

Noeon ResearchChiswick

Pinned Repositories

FFaCiL.lean
Finite Fields and Curves in Lean
Language:Lean9 6 32
Megaparsec.lean
Lean 4 port of Megaparsec
Language:Lean23 6 165
AgdaProofsForHaskell
Language:Agda1 2 00
bracket
Language:Haskell10
FP_exercises
Language:Haskell1 3 00
HaskellPt2
Language:Haskell2 3 00
hse-haskell-course-src
Haskell course in the Higher School of Economics
Language:TeX10
proof-theory
Some notes on Proof Theory and Elements of Ordinal Analysis based on "Proofs and Computations" by Wainer and Schwichtenberg
Language:TeX20
set-theory
Some notes on set theory based on Thomas Jech's book (selected topics)
Language:TeX20
thesis-notes
Language:TeX0 2 00

DanielRrr's Repositories

DanielRrr/proof-theory
Some notes on Proof Theory and Elements of Ordinal Analysis based on "Proofs and Computations" by Wainer and Schwichtenberg
Language:TeX20
DanielRrr/set-theory
Some notes on set theory based on Thomas Jech's book (selected topics)
Language:TeX20
DanielRrr/hse-haskell-course-src
Haskell course in the Higher School of Economics
Language:TeX10
DanielRrr/modal-parser
Language:Haskell1 2 00
DanielRrr/thesis-notes
Language:TeX0 2 00
DanielRrr/agda-categories
A new Categories library for Agda
DanielRrr/Arend
The Arend Proof Assistant
Language:Java0 0
DanielRrr/arend-learn
1 0
DanielRrr/arend-lib
DanielRrr/core-libraries-proposals
Proposed changes to Haskell Core Libraries
DanielRrr/cylindric-algeras
Language:TeX1 0
DanielRrr/d2l-en
Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 400 universities from 60 countries including Stanford, MIT, Harvard, and Cambridge.
DanielRrr/DontFearTheProfunctorOptics
Don't Fear the Profunctor Optics!
Language:Haskell0 0
DanielRrr/DT2020
1 0
DanielRrr/formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
Language:Lean1 0
DanielRrr/functional-data-structures
Language:Haskell
DanielRrr/galois-field
Finite field and algebraic extension field arithmetic
Language:Haskell0 0
DanielRrr/geometric-logic
Language:TeX
DanielRrr/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
DanielRrr/haskell-challenges
Code challenges to solve with Haskell
Language:Haskell0 0
DanielRrr/hse-homework-1
Language:Haskell1
DanielRrr/hse-homework-2
Language:Haskell
DanielRrr/itmo-fp-2020-autumn
1 0
DanielRrr/lean4
Lean 4 programming language and theorem prover
DanielRrr/memorial_data
Data on history of terror in Moscow from various projects with Memorial
1
DanielRrr/plfa.github.io
An introduction to programming language theory in Agda
DanielRrr/pplv-iel-talk
Language:TeX1 0
DanielRrr/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
DanielRrr/TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
Language:Agda
DanielRrr/tutorial-code
Source code & exercises in Arend's documentation