berndlosert

Pinned Repositories

agda-base
A base library for Agda for regular programming
Language:Agda8 3 02
cats-effect
The pure asynchronous runtime for Scala
Language:Scala00
convergence
Theory of convergence spaces in Lean 3
Language:Lean10
lean
Lean Theorem Prover
Language:C++00
mathlib4
The math library of Lean 4
Language:Lean0 0 00
purescript-partial
Utilities for working with partial functions
Language:PureScript00
php-src
The PHP Interpreter
Language:C37.7k 1.4k 2.8k7.7k

berndlosert's Repositories

berndlosert/agda-base
A base library for Agda for regular programming
Language:Agda8 3 02
berndlosert/convergence
Theory of convergence spaces in Lean 3
Language:Lean10
berndlosert/cats-effect
The pure asynchronous runtime for Scala
Language:Scala00
berndlosert/lean
Lean Theorem Prover
Language:C++00
berndlosert/mathlib4
The math library of Lean 4
Language:Lean0 0 00
berndlosert/purescript-partial
Utilities for working with partial functions
Language:PureScript00