TOTBWF/agda-partial-setoid TOTBWF/agda-partial-setoid

  • Stars
    star
    2
  • Language Agda
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TOTBWF/agda-partial-setoid
github

TOTBWF

Reviews

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

Repository Details

An implementation of partial setiods 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-higher-categories

Experiments in Higher Category Theory in Agda
Agda
6
star
19

agda-groups

Group Theory in Agda, Done Categorically
Agda
5
star
20

agda-evil-emacs

Emacs + Agda for Vim users
Emacs Lisp
4
star
21

cooltt-categories

Categories ala Cooltt
4
star
22

forest

My personal wiki
Nix
4
star
23

lean-rz

Realizability theory in lean
Lean
4
star
24

advent-of-code-2022

C
3
star
25

clphs

Constraint Logic Programming for Haskell
Haskell
3
star
26

agda-bialgebra-sorting

Bialgebraic Sorting Algorithms
Agda
2
star
27

BigMacs

My personal emacs config
YASnippet
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

notes-on-progams-equals-proof

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

podcast-dl

A simple CLI podcast downloader
Haskell
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