Pinned Repositories
pyret-lang
The Pyret language.
acrograms
find anagrams that also form a specific acronym
cw-lstm
A shitty CW generator for Mastodon. Don't take this seriously.
eval-bot
evaluate arbitrary javascript and post the result on the fediverse!
guess-who
fediverse bot. how well do you know your mutuals? have a conversation with a random mutual
wast-wrong
Running every WebAssembly test on every WebAssembly implementation
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
jankscripten
MultiPL-E
A multi-programming language benchmark for LLMs
TypeWhich
Customizable, solver-based type migration for the gradually-typed lambda calculus.
CosineP's Repositories
CosineP/eval-bot
evaluate arbitrary javascript and post the result on the fediverse!
CosineP/wast-wrong
Running every WebAssembly test on every WebAssembly implementation
CosineP/acrograms
find anagrams that also form a specific acronym
CosineP/cw-lstm
A shitty CW generator for Mastodon. Don't take this seriously.
CosineP/guess-who
fediverse bot. how well do you know your mutuals? have a conversation with a random mutual
CosineP/madlibs
madlibs, except fediverse selects the words. at @madlibs@beeping.town
CosineP/benchblock
benchmarking async vs blocking when IO-bound
CosineP/eljs-cli
discontinued: prefer the script now provided by ElementaryJS
CosineP/jn
Add things to a journal in the comfort of your shell and/or favorite editor
CosineP/take-your-damn-pills
HackHer413 2020, winner: Best Hardware Hack, Best Domain Name (takeyourdamnpills.tech)
CosineP/ballet
Type-based tierless programming
CosineP/bslpc
The 3d printed portion of the Badass Super-Litte Pirate Craft (a quadcopter)
CosineP/dmenu-custom
Open websites, programs inside of terminals, and graphical programs with dmenu
CosineP/dotfiles
the day i stopped using any computers except my laptop, life got better
CosineP/epoll-sockets
CosineP/euler
I'm solving the Project Euler problems with Haskell, as a way to learn the language
CosineP/fanglipo-check
#fanglipo: check out a new oulipo where no side by siders can see common letters. Ok? This program checks if your text is correct.
CosineP/fd
Dead simple tooting with your favourite editor, from / using your shell
CosineP/FTC-5818
Year of 2014 - 2015 FTC for team 5818.
CosineP/layered-crossing-minimization
CosineP/nixpkgs
Nix Packages collection
CosineP/parity-wasm
WebAssembly serialization/deserialization in rust
CosineP/spec
WebAssembly spec (forked for a quick PR)
CosineP/stack-switching
A repository for the stack switching proposal.
CosineP/su-transcripts
Download all Steven Universe transcripts into one file (no Movie / Future yet)
CosineP/subreddit-classifier
Toolkit for downloading and classifying images from various subreddits.
CosineP/tinygo
Tinygo with typed continuations-backed scheduler?
CosineP/VEX-2016
VEX Robotics 2015-2016 School Year
CosineP/VEX-2017
The robotics of Kennebunk High School participating in VEX in the 2016-2017 season.
CosineP/wasm-tools
Fork for PRs against effect-handlers/wasm-tools