Giters
Erika Tse (erupmi)

erupmi

Geek Repo

25

followers

41

following

22

stars

Company:UNSW

Location:Sydney, Australia

Home Page:erupmi.github.io

Github PK Tool:Github PK Tool

Erika Tse's starred repositories

Coq-BB5

Language:CoqLicense:MITStargazers:141Issues:0Issues:0

gambit

Gambit is an efficient implementation of the Scheme programming language.

Language:SchemeStargazers:1293Issues:0Issues:0

cantors-attic

Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information about all notions of mathematical infinity.

Language:HTMLStargazers:23Issues:0Issues:0

PACE_2024

Our Submission to the PACE 2024 Challenge

Language:PythonStargazers:2Issues:0Issues:0

comp6741

Lecture notes for COMP6741 - Algorithms for intractable problems

Language:TeXLicense:GPL-3.0Stargazers:3Issues:0Issues:0

spring-2024

Repository for the Spring 2024 run of the Mastermath HoTT course

Language:TeXStargazers:1Issues:0Issues:0

cubicaltt

Experimental implementation of Cubical Type Theory

Language:HaskellLicense:MITStargazers:566Issues:0Issues:0

smalltt

Demo for high-performance type theory elaboration

Language:LeanLicense:MITStargazers:507Issues:0Issues:0

angery-bot

All your angery are belong to us

Language:PythonLicense:UnlicenseStargazers:6Issues:0Issues:0

sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.

Language:MarkdownStargazers:43Issues:0Issues:0

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:2421Issues:0Issues:0

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:30080Issues:0Issues:0

HoTT-2023

Conference on Homotopy Type Theory 2023

Language:SCSSLicense:MITStargazers:13Issues:0Issues:0

cctt

high-performance cubical evaluation

Language:TeXLicense:MITStargazers:58Issues:0Issues:0

bearblog

Free, no-nonsense, super fast blogging.

Language:CSSLicense:MITStargazers:2408Issues:0Issues:0

mastodon

Your self-hosted, globally interconnected microblogging community

Language:RubyLicense:AGPL-3.0Stargazers:46434Issues:0Issues:0

generative-art

I wanted to make a nicer sticker for Munihac, then things got out of hand.

Language:HaskellLicense:BSD-3-ClauseStargazers:147Issues:0Issues:0

elfeed-org

Configure the Elfeed RSS reader with an Orgmode file

Language:Emacs LispStargazers:337Issues:0Issues:0

color-theme-sanityinc-tomorrow

A set of comprehensive Emacs color themes based on Chris Kempson's 'tomorrow' themes

Language:Emacs LispLicense:NOASSERTIONStargazers:391Issues:0Issues:0

nanopass-framework-scheme

The new nanopass framework; an embedded DSL for writing compilers in Scheme

Language:SchemeLicense:MITStargazers:484Issues:0Issues:0

nanocaml

Nanopass for OCaml

Language:OCamlLicense:MITStargazers:141Issues:0Issues:0

math

A mini-book on category theory. Superseded by https://github.com/jonsterling/forest

Language:TeXStargazers:50Issues:0Issues:0