raptazure/proofs

Stars
4
Rank 3,304,323 (Top 66 %)
Language Agda
Created almost 4 years ago
Updated over 3 years ago

raptazure/proofs

raptazure

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

Assistants: dream verification service

breeze

A minimal browser engine written in Rust

unifier

A multi-threaded, persistent key/value store

daily-tarot

🔮 Tarot Extension for VS Code

mauve

🍎 Play Bad Apple! with Haskell

chocolate

Talking about classical logic and abstract algebra in Haskell

experiments

coding-with-pusheen

Visual Studio Code Extension - v0.01 preview version

raptazure

About me - λhr

blog

A brief collection of my thoughts & feelings

dotfiles

☕️ Linux & macOS

medis.tk

Minimal Redis client and server implementation using Tokio

aurora

Aurora theme based blog - the 2nd generation

hredis

A multi-threaded, TCP, key-value store inspired by Redis

pluw

Programming Languages, University of Washington

mandelbrot

🌿 A parallel mandelbrot set generator

chirp

Express yourself - post, like and RT

raptazure.github.io

🌲 Welcome to my blog

hackintosh-backup

Dell Inspiron 7590 Hackintosh Backup

music-composition

Making music in Logic Pro...

raspberry-face

Face recognition on Raspberry Pi 4B

hexo-blog

My blog based on Hexo. (2019.10.13 - 2020.5.29)

journeys

🐳 Embark upon a new journey

presentations

Presentations on functional programming and more

resume

This is my résumé

cdn

Picture storage

yearly-project-slide

Freshman yearly project experience sharing - CS 2020

comment

musing

✨ Imagination bodies forth...

project-euler

Solving problems in Haskell

stray

A simple and multithreaded web server