TOTBWF/lean-rz TOTBWF/lean-rz

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Lean
  • Created 6 months ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TOTBWF/lean-rz
github

TOTBWF

Reviews

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

Repository Details

Realizability theory in lean

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

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

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