Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-unimath
Univalent mathematics in Agda
awesome-agda
Awesome Agda
cornelis
agda-mode for neovim
CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
emc
Simple shell wrapper script for Doom Emacs, Emacsclient and the daemon.
kitcat
Kitcat is an ergonomic and opinionated Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
void-packages
The Void source packages collection
lane-core's Repositories
lane-core/kitcat
Kitcat is an ergonomic and opinionated Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
lane-core/void-packages
The Void source packages collection
lane-core/agda
Agda is a dependently typed programming language / interactive theorem prover.
lane-core/agda-unimath
Univalent mathematics in Agda
lane-core/awesome-agda
Awesome Agda
lane-core/cornelis
agda-mode for neovim
lane-core/CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
lane-core/emc
Simple shell wrapper script for Doom Emacs, Emacsclient and the daemon.
lane-core/HVM
A massively parallel, optimal functional runtime in Rust
lane-core/Interaction-Type-Theory
lane-core/lane-brain
Config files for my GitHub profile.
lane-core/lane-brain.github.io
lane-core/LaneProofs
A repository for proofs I'm working on I feel prepared to share for comment
lane-core/martin-lof
papers of Per Martin Löf
lane-core/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
lane-core/umbrel-apps
The new, official app repository of the Umbrel App Store. Submit apps and updates here.
lane-core/dependent-library
Library of the ##dependent distributed research support group
lane-core/homotopy-rs
A Rust/WASM implementation of homotopy.io
lane-core/lawvere
The collected works of F. W. Lawvere
lane-core/monobook
Studying Interaction Nets with HVM as a reference model
lane-core/nvim
my nvim configuration
lane-core/oursh
Your comrade through the perilous world of UNIX.
lane-core/papers
Papers on Math, Proof Theory, and Theory of Computation
lane-core/rekordcrate
Library for parsing Pioneer Rekordbox device exports
lane-core/Wikind
Collection of Kind2 programs and proofs
lane-core/yash-rs
Reimplementation of yash, an extended POSIX shell