• Stars
    star
    14
  • Rank 1,438,076 (Top 29 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 4 years ago
  • Updated almost 4 years ago

Reviews

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

Repository Details

Talking about classical logic and abstract algebra in Haskell

More Repositories

1

breeze

A minimal browser engine written in Rust
Rust
19
star
2

unifier

A multi-threaded, persistent key/value store
Rust
17
star
3

daily-tarot

🔮 Tarot Extension for VS Code
HTML
17
star
4

mauve

🍎 Play Bad Apple! with Haskell
Haskell
15
star
5

experiments

Just toys
Haskell
10
star
6

coding-with-pusheen

Visual Studio Code Extension - v0.01 preview version
TypeScript
8
star
7

raptazure

About me - λhr
Haskell
6
star
8

blog

A brief collection of my thoughts & feelings
TypeScript
6
star
9

dotfiles

☕️ Linux & macOS
Shell
5
star
10

medis.tk

Minimal Redis client and server implementation using Tokio
Rust
4
star
11

aurora

Aurora theme based blog - the 2nd generation
HTML
4
star
12

proofs

Assistants: dream verification service
Agda
4
star
13

hredis

A multi-threaded, TCP, key-value store inspired by Redis
Haskell
3
star
14

pluw

Programming Languages, University of Washington
Standard ML
3
star
15

mandelbrot

🌿 A parallel mandelbrot set generator
Rust
2
star
16

chirp

Express yourself - post, like and RT
Elixir
2
star
17

raptazure.github.io

🌲 Welcome to my blog
HTML
2
star
18

hackintosh-backup

Dell Inspiron 7590 Hackintosh Backup
2
star
19

music-composition

Making music in Logic Pro...
Haskell
2
star
20

raspberry-face

Face recognition on Raspberry Pi 4B
Python
2
star
21

hexo-blog

My blog based on Hexo. (2019.10.13 - 2020.5.29)
HTML
2
star
22

journeys

🐳 Embark upon a new journey
Shell
1
star
23

presentations

Presentations on functional programming and more
Haskell
1
star
24

resume

This is my résumé
1
star
25

cdn

Picture storage
Shell
1
star
26

yearly-project-slide

Freshman yearly project experience sharing - CS 2020
JavaScript
1
star
27

comment

Blog's comment
Shell
1
star
28

musing

✨ Imagination bodies forth...
Haskell
1
star
29

project-euler

Solving problems in Haskell
Haskell
1
star
30

stray

A simple and multithreaded web server
Rust
1
star