betaveros Goto Github PK

2014-algo

Presentation introducing algorithms and programming competitions in Traditional Chinese with reveal.js

2048

A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)

advent-of-code-2016

insert cool description here

advent-of-code-2022

actually publishing my solutions now that they're not redundant...

advent-of-code-golf-2018

I spent days on this personal golfing language a year ago, might as well try it out...

advent-of-code-golf-2019

let's see how long it takes before I burn out this time

advent-of-code-golf-2020

doing the same thing over and over and expecting the same results

bad-programs

programs that are bad

base-unicode-symbols

Unicode alternatives for common functions and operators

bcodex

A command-line utility in Haskell (as well as tiny JS app) for flexibly converting between puzzlehunt-y "encodings"

bed-and-breakfast

Matrix operations in 100% pure Haskell

betahaxx

betaveros's personal Haskell library of utilities, aliases, and imports for quick scripts and competitive programming

betaveros.github.io

GitHub page (?)

binary-operations

interactive arithmetic, bitwise logical, shift, comparison operations on 32-bit integers

bloggo

my cool blog

bluespecintroguide

An introductory guide to Bluespec (BSV)

cardboard

Dashboard for managing puzzles and tracking status during a puzzle hunt

castlefall

a party word game with hidden teams for ~six to ten people

courseroad

CourseRoad is a four-year academic planner for undergraduates.

cpp2

C Plus Plus Competitive Programming Preprocessor

cs

Personal cheat sheet (moved off betaveros.github.io)

cursewords

:pencil: Terminal-based crossword puzzle solving interface

dactyl

Pentadactyl and other related Gecko extensions

deusovi.github.io

documentation

Full documentation repository for Mastodon

dppuzzlehunt-static

edgeworth

Interface for marking grid-based puzzles, take 3

ephesus-public

i'm so lazy i'm just making a new repo instead of omitting secrets properly

esp-website

A website to help manage the logistics of large short-term educational programs

everything-dojo

Everything Dojo