TOTBWF/refinery TOTBWF/refinery

  • Stars
    star
    68
  • Rank 443,496 (Top 9 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 5 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TOTBWF/refinery
github

TOTBWF

Reviews

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

Repository Details

⛏️ A refinement proof framework for haskell

More Repositories

1

tactic-haskell

Tactic Metaprogramming in Haskell
Haskell
57
star
2

SteamCurses

A Basic NCurses Client for Steam
C
52
star
3

omit-generics

Omit fields for instance deriving
Haskell
37
star
4

muprl

A small NuPRL style proof assistant
Haskell
32
star
5

teenytt

A Teeny Type Theory
Haskell
26
star
6

iso

A reversible language
Haskell
23
star
7

coolttviz

Rust
22
star
8

agda-tic-tac-toe

Tic Tac Toe, formalized in Agda
Agda
22
star
9

cubical-categories

Category theory formalized in cubical agda
Agda
20
star
10

agda-sgd

Experiments in Synthetic Differential Geometry
Agda
15
star
11

lean4-raytrace

A simple raytracer written in lean
Lean
12
star
12

FSharp.Data.Dataloader

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

graphiql.el

Graphql development environment for emacs
Emacs Lisp
7
star
14

MLogic

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

agda-category-theory-exercises

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

dstext

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

agda-higher-categories

Experiments in Higher Category Theory in Agda
Agda
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

advent-of-code-2022

C
3
star
22

clphs

Constraint Logic Programming for Haskell
Haskell
3
star
23

agda-bialgebra-sorting

Bialgebraic Sorting Algorithms
Agda
2
star
24

agda-partial-setoid

An implementation of partial setiods in agda
Agda
2
star
25

TenPointsToHappiness

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

TOTBWF.github.io

HTML
1
star
27

pine

A small, dependently typed language
Haskell
1
star
28

BigMacs

My personal emacs config
YASnippet
1
star
29

Socks.fs

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

dotfiles

Linux dotfiles
CSS
1
star
31

DisClean

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

podcast-dl

A simple CLI podcast downloader
Haskell
1
star
33

notes-on-progams-equals-proof

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

.emacs.d

My Emacs Configuration
Emacs Lisp
1
star
35

neuron

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

forest

My personal wiki
Nix
1
star