TOTBWF/agda-higher-categories TOTBWF/agda-higher-categories

  • Stars
    star
    6
  • Rank 2,535,260 (Top 51 %)
  • Language Agda
  • Created about 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TOTBWF/agda-higher-categories
github

TOTBWF

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Experiments in Higher Category Theory in Agda

More Repositories

1

refinery

⛏️ A refinement proof framework for haskell
Haskell
69
star
2

tactic-haskell

Tactic Metaprogramming in Haskell
Haskell
57
star
3

SteamCurses

A Basic NCurses Client for Steam
C
52
star
4

omit-generics

Omit fields for instance deriving
Haskell
37
star
5

muprl

A small NuPRL style proof assistant
Haskell
32
star
6

teenytt

A Teeny Type Theory
Haskell
26
star
7

iso

A reversible language
Haskell
23
star
8

coolttviz

Rust
23
star
9

agda-tic-tac-toe

Tic Tac Toe, formalized in Agda
Agda
22
star
10

cubical-categories

Category theory formalized in cubical agda
Agda
20
star
11

agda-sgd

Experiments in Synthetic Differential Geometry
Agda
15
star
12

lean4-raytrace

A simple raytracer written in lean
Lean
12
star
13

FSharp.Data.Dataloader

A F# Library for simplifying access to remote data, with caching and batching
F#
11
star
14

MLogic

An implementation of a mini-ML written entirely in prolog
Prolog
7
star
15

graphiql.el

Graphql development environment for emacs
Emacs Lisp
7
star
16

agda-category-theory-exercises

A series of exercises for learning Category Theory in Agda
Agda
6
star
17

dstext

Dark Souls death text on the command line
Rust
6
star
18

agda-groups

Group Theory in Agda, Done Categorically
Agda
5
star
19

agda-evil-emacs

Emacs + Agda for Vim users
Emacs Lisp
4
star
20

cooltt-categories

Categories ala Cooltt
4
star
21

forest

My personal wiki
Nix
4
star
22

lean-rz

Realizability theory in lean
Lean
4
star
23

advent-of-code-2022

C
3
star
24

clphs

Constraint Logic Programming for Haskell
Haskell
3
star
25

agda-bialgebra-sorting

Bialgebraic Sorting Algorithms
Agda
2
star
26

BigMacs

My personal emacs config
YASnippet
2
star
27

agda-partial-setoid

An implementation of partial setiods in agda
Agda
2
star
28

TenPointsToHappiness

A motiviational app that allows you to track good things you have done for a day.
Java
2
star
29

quasilib

Common Lisp
2
star
30

TOTBWF.github.io

HTML
1
star
31

pine

A small, dependently typed language
Haskell
1
star
32

Socks.fs

A functional socket library for F#
F#
1
star
33

dotfiles

Linux dotfiles
CSS
1
star
34

DisClean

Bot for deleting all messages from a given user in a discord server
F#
1
star
35

podcast-dl

A simple CLI podcast downloader
Haskell
1
star
36

notes-on-progams-equals-proof

A series of formalizations based of the book "Program = Proof" by Samuel Miram
Agda
1
star
37

.emacs.d

My Emacs Configuration
Emacs Lisp
1
star
38

neuron

A website for designing toy neural networks.
JavaScript
1
star
39

teamcity-el

Teamcity integration for emacs
Emacs Lisp
1
star