Pinned Repositories
blog
A brief collection of my thoughts & feelings
chocolate
Talking about classical logic and abstract algebra in Haskell
coding-with-pusheen
Visual Studio Code Extension - v0.01 preview version
daily-tarot
🔮 Tarot Extension for VS Code
dotfiles
☕️ Linux & macOS
experiments
Just toys
mauve
🍎 Play Bad Apple! with Haskell
raptazure
About me - λhr
raptazure.github.io
🌲 Welcome to my blog
unifier
A multi-threaded, persistent key/value store
raptazure's Repositories
raptazure/daily-tarot
🔮 Tarot Extension for VS Code
raptazure/unifier
A multi-threaded, persistent key/value store
raptazure/mauve
🍎 Play Bad Apple! with Haskell
raptazure/chocolate
Talking about classical logic and abstract algebra in Haskell
raptazure/experiments
Just toys
raptazure/coding-with-pusheen
Visual Studio Code Extension - v0.01 preview version
raptazure/blog
A brief collection of my thoughts & feelings
raptazure/raptazure
About me - λhr
raptazure/pluw
Programming Languages, University of Washington
raptazure/music-composition
Making music in Logic Pro...
raptazure/raptazure.github.io
🌲 Welcome to my blog
raptazure/cdn
Picture storage
raptazure/journeys
🐳 Embark upon a new journey
raptazure/musing
✨ Imagination bodies forth...
raptazure/agda
Agda is a dependently typed programming language / interactive theorem prover.
raptazure/agda-mode-vscode
agda-mode on VS Code
raptazure/GenshinDailyHelper
miHoYo APP Genshin Impact daily bonus by Github Action
raptazure/Idris-dev
A Dependently Typed Functional Programming Language
raptazure/idris-ide-client
TypeScript client for Idris IDE-mode.
raptazure/idris-vscode
Idris front-end for VS Code
raptazure/Idris2
A purely functional programming language with first class types
raptazure/idris2dart
An Idris 2 code generator that outputs Dart code.
raptazure/idv-login
idv-login is an IdentityV login tool.
raptazure/inigo
Inigo: A Package Manager for Idris2
raptazure/purescript-halogen
A declarative, type-safe UI library for PureScript.
raptazure/purescript-halogen-template
Template project for getting started with Halogen
raptazure/rust
Empowering everyone to build reliable and efficient software.
raptazure/rust-analyzer
An experimental Rust compiler front-end for IDEs
raptazure/stan
🕵️ Haskell STatic ANalyser
raptazure/yew
Rust / Wasm framework for building client web apps