Pinned Repositories
.files
My development environment configuration files, managed by the Dot framework: https://github.com/sds/dot
bucklescript
A backend for the OCaml compiler which emits JavaScript.
curry-macro
a curry! macro for rust
dot.conf
parse a config file into the directory structures for github.com/sds/dot configuration management
dsbldr
Golang tool that makes it easier to create Machine Learning Datasets from public Social APIs
integrated-spreadsheet-environment
Drexel '20 CS Senior Project: interactive spreadsheet environment w nested cells + embedded Python editor
korede-ta.github.io
my personal website :) feel free to fork to build your own
spreadtable
implementation of spreadtable (nested cells interface) in bucklecsript (Ocaml->JS)
uptalk
WIP distributed messaging protocol based on Upspin
write
Shell script / vim plugin to help with Journaling
Korede-TA's Repositories
Korede-TA/integrated-spreadsheet-environment
Drexel '20 CS Senior Project: interactive spreadsheet environment w nested cells + embedded Python editor
Korede-TA/curry-macro
a curry! macro for rust
Korede-TA/korede-ta.github.io
my personal website :) feel free to fork to build your own
Korede-TA/.files
My development environment configuration files, managed by the Dot framework: https://github.com/sds/dot
Korede-TA/bucklescript
A backend for the OCaml compiler which emits JavaScript.
Korede-TA/dot.conf
parse a config file into the directory structures for github.com/sds/dot configuration management
Korede-TA/dotfiles
awón dotfiles orísírísí
Korede-TA/elm-code-editor
Elm code editor - embeddable
Korede-TA/georoku
terraform heroku provider mappings for geoengineer
Korede-TA/get.pulumi.com
The infrastructure behind get.pulumi.com
Korede-TA/github-buttons
:octocat: Unofficial github:buttons.
Korede-TA/hey
HTTP load generator, ApacheBench (ab) replacement, formerly known as rakyll/boom
Korede-TA/ipfs-kube-volume
Korede-TA/js-ipld-wasm
Korede-TA/kubernetes
Production-Grade Container Scheduling and Management
Korede-TA/monaco-editor
A browser based code editor
Korede-TA/n64docker
Nintendo 64 server in docker
Korede-TA/R
Read line ranges from other files in Vim
Korede-TA/react-notion-x
Fast and accurate React renderer for Notion. TS batteries included. ⚡️
Korede-TA/sachiel-net
A simple to use messaging framework built on protocol buffers.
Korede-TA/spreadtable
implementation of spreadtable (nested cells interface) in bucklecsript (Ocaml->JS)
Korede-TA/statis.vim
using hot reloading server/compiler? use this to get build status inside vim
Korede-TA/stdweb
A standard library for the client-side Web
Korede-TA/stm
Software Transactional Memory
Korede-TA/umbrella
⛱ Broadly scoped ecosystem & mono-repository of ~138 TypeScript projects for functional, data driven development
Korede-TA/uptalk
WIP distributed messaging protocol based on Upspin
Korede-TA/vv8
verifiable v8
Korede-TA/wasm2merkle
Korede-TA/wasmparser
Simple streamable WebAssembly binary parser
Korede-TA/yew
Rust / Wasm framework for building client web apps