bkase

I like types and making things Web3: bkase.eth https://debank.com/profile/0xb2f5a22bd154924402cf31a95e61587f0f1ede3c

@o1-labs San Francisco

Pinned Repositories

barbq
🍖barbq is a text based status bar for macOS
Language:Haskell44 5 10
CUDA-grep
grep on CUDA
Language:C++117 16 122
cyklic
A Cycle.js inspired Native Single-Atom-State Purely Functional Reactive Composable UI Component library for Android
Language:Kotlin89 8 14
DoctorPretty
Wadler's "A prettier printer" embedded pretty-printer DSL for Swift
Language:Swift192 7 39
gameboy
[alpha] Rust WASM gameboy emulator aiming for high framerate on mobile browsers
Language:Assembly31 4 11
git-paradox
Copy history forward safely and easily
Language:Shell26 3 00
life
A Nix configuration for macOS and Linux
Language:Nix27 4 12
slides
Slide decks rendered from mardown
Language:JavaScript24 6 02
swift-di-explorations
Functional DI explorations in Swift
Language:Swift28 3 02

bkase's Repositories

bkase/DoctorPretty
Wadler's "A prettier printer" embedded pretty-printer DSL for Swift
Language:Swift192 7 39
bkase/CUDA-grep
grep on CUDA
Language:C++117 16 122
bkase/barbq
🍖barbq is a text based status bar for macOS
Language:Haskell44 5 10
bkase/gameboy
[alpha] Rust WASM gameboy emulator aiming for high framerate on mobile browsers
Language:Assembly31 4 11
bkase/life
A Nix configuration for macOS and Linux
Language:Nix27 4 12
bkase/slides
Slide decks rendered from mardown
Language:JavaScript24 6 02
bkase/abstraction
Data abstraction in Dhall
Language:Dhall6 3 0
bkase/Twitter-fake
Twitter fake for reason
Language:OCaml4 3 01
bkase/Algorithm-w-again
Doing Algorithm W again [Damas, Milner 82] and [Milner 77-78]
Language:OCaml2 2 0
bkase/compiler
Playing with compilers (WASM?)
Language:Haskell2 3 0
bkase/js-async-to-sync
Experiments in asyncToSync converters in web workers
Language:JavaScript2 4 01
bkase/jsonschema-to-dhall
Auto-generate Dhall bindings given a JSON Schema definition
Language:Nix2 3 03
bkase/bow
Bow is a library for Typed Functional Programming in Swift
Language:Swift1 2 0
bkase/cairo-schnorr
Schnorr in cairo (allegedly)
Language:Cairo1 3 0
bkase/site2
Trying to make a website again
Language:Reason1 3 04
bkase/cafeandcowork
Cafe and Cowork. Find places to work. Open and collaborative.
Language:Pug1 0
bkase/coda
Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Language:OCaml2 0
bkase/codehike-contentlayer-bug
Reproduction of bug I mentioned in code-hike/codehike#308
Language:TypeScript2 0
bkase/dcrdocs
Documentation for Decred.
Language:Shell2 0
bkase/docs
Documentation repository for all Textile projects 📚
Language:HTML2 0
bkase/engineering-roles
Meetup's Engineering Ladder
2 01
bkase/greedy-lot-calculator
Calculate taxes using greedy lots
Language:OCaml1 0
bkase/hazel
Hazel, a typed structure editor
Language:OCaml3 0
bkase/MIPs
1 0
bkase/pipeline-schema
A JSON schema for Buildkite’s pipeline file format
Language:JavaScript2 0
bkase/pure
Pretty, minimal and fast ZSH prompt
Language:Shell3 0
bkase/site3
Another self website remake (the 3rd time)
Language:JavaScript2 0
bkase/snapp-sudoku-test
Language:JavaScript2 0
bkase/tablecloth
An ergonomic, cross-platform, standard library for ReasonML and OCaml
Language:OCaml3 02
bkase/try-snapps
snapp-related testing
Language:TypeScript1 0