raptazure

✨ "Imagination bodies forth #=> the forms of things unknown."

Pinned Repositories

blog
A brief collection of my thoughts & feelings
Language:TypeScript6 3 00
chocolate
Talking about classical logic and abstract algebra in Haskell
Language:Haskell14 2 01
coding-with-pusheen
Visual Studio Code Extension - v0.01 preview version
Language:TypeScript8 2 10
daily-tarot
🔮 Tarot Extension for VS Code
Language:HTML18 3 10
dotfiles
☕️ Linux & macOS
Language:Shell6 2 00
experiments
Just toys
Language:Haskell9 2 01
mauve
🍎 Play Bad Apple! with Haskell
Language:Haskell15 2 10
raptazure
About me - λhr
Language:Haskell6 2 00
raptazure.github.io
🌲 Welcome to my blog
Language:HTML2 2 00
unifier
A multi-threaded, persistent key/value store
Language:Rust17 1 22

raptazure's Repositories

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