egbertrijke Goto Github PK
Name: Egbert Rijke
Type: User
Company: University of Ljubljana
Bio: Postdoc in Mathematics
Twitter: EgbertRijke
Location: Ljubljana, Slovenia
Egbert Rijke's Projects
agda-stdlib
The Agda standard library
agda-unimath
Univalent mathematics in Agda
alg
Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
book
A textbook on informal homotopy type theory
categorytheory_course
Documents for the course on Category theory
cmu
This repository contains projects (presentations, notes, etc...) that I do for my PhD
cubical
An experimental library for Cubical Agda
dissertation
e-systems
E-systems
egbertrijke.github.io
epit-2020
EPIT 2020 - Spring School on Homotopy Type Theory
formally_etale
formaltt
Formalization of type theory
graphmodel
We formalize aspects of the graph model of type theory
hott
Homotopy type theory
hott-intro
An introductory course to Homotopy Type Theory
hott_cmu80818
Companion code to CMU course on Homotopy Type Theory
hott_lean
k-theory
This project is about formalizing some results in K-theory in homotopy type theory.
lean
Lean Theorem Prover
lean2
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
leansnippets
Miscellaneous Lean code which doesn't belong in the standard library
lists-in-lean
A tutotrial on lists in lean
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
notes-cubical
Notes on cubical sets
oeis-a000001
sequential_colimits
stlc
This aims to be the most pretentious implementation of stlc in existence
symmetrybook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
unimath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.