DanielRrr

Algebraic & modal logic and category theory

Noeon ResearchChiswick

Pinned Repositories

FFaCiL.lean
Finite Fields and Curves in Lean
Language:Lean9 6 33
Megaparsec.lean
Lean 4 port of Megaparsec
Language:Lean24 6 166
AgdaProofsForHaskell
Language:Agda1 2 00
bracket
Language:Haskell1 3 00
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:TeX2 1 00
set-theory
Some notes on set theory based on Thomas Jech's book (selected topics)
Language:TeX2 1 00
thesis-notes
Language:TeX0 2 00

DanielRrr's Repositories

DanielRrr/TypeBook
Language:TeX10
DanielRrr/agda-stdlib
The Agda standard library
Language:Agda00
DanielRrr/Agda-stuff
Agda-stuff
Language:Agda
DanielRrr/Algorithms-Studies
Language:Java
DanielRrr/Coq-Studies
Coq-Materials
Language:Coq
DanielRrr/Cpluspluscalculations
Language:C++
DanielRrr/djangoblog
Language:Python
DanielRrr/idris-exercises
Language:Idris
DanielRrr/Idris_studies
Language:Idris
DanielRrr/jQuery
Language:HTML
DanielRrr/JS-Studies
Java-script studies
Language:JavaScript
DanielRrr/node-app-1
my first node.js app with express
Language:HTML
DanielRrr/oCamlExes
Language:OCaml
DanielRrr/pyAlg
Language:Python
DanielRrr/Python-Studies
my python studies
Language:Python2 0
DanielRrr/react-studies
React apps
DanielRrr/ReactFstApp
Language:Objective-C2 0
DanielRrr/Ruby_codility
Language:Ruby
DanielRrr/texts