Pinned Repositories
basic-proof-development
An experiment to show how a proof development system would work. Prelude to a blog post, most likely.
ftp_sticker
hackers_poster
Haskell-Chart-Parser
labrys
A toolkit for web autonomy.
LensTutorial
SimpleFP
A series of implementations of a simple functional programming language.
SimpleFP-v2
A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
so-you-want-to-write-a-type-checker
uwunion_sticker
A sticker inspired by the IWW logo, but gayer.
BekaValentine's Repositories
BekaValentine/labrys
A toolkit for web autonomy.
BekaValentine/hackers_poster
BekaValentine/formal_logic_class
A class on formal logic
BekaValentine/Moka
An old project to recreate Cocoa's FoundationKit and AppKit in JS instead of ObjectiveC
BekaValentine/regex-edit-distance
BekaValentine/c2_wiki_recovery
BekaValentine/compiling_functional_languages
BekaValentine/cursed_html
A truly cursed flavor of HTML
BekaValentine/cyberpunk_video_game_godot_repository
BekaValentine/gas_drowner
BekaValentine/noisebridge-social-media-tool
BekaValentine/p2p_reference
A reference for p2p tech
BekaValentine/set_based_program_calculation
BekaValentine/BrainDamage
An free software implementation of The Brain style graph based knowledge management.
BekaValentine/cyberpunk_game
A slow WIP cyberpunk game
BekaValentine/dns_over_ipfs
BekaValentine/hackers_miniposter
BekaValentine/carlo_giannini_espresso_cup
BekaValentine/gothdyke.mom
Personal website
BekaValentine/hole_foods_market_sticker
BekaValentine/nola_cola
BekaValentine/pltk
A programming language toolkit
BekaValentine/python_site_generator
A very simple static site generator
BekaValentine/tree-sitter-c
C grammar for tree-sitter
BekaValentine/tree-sitter-c-sharp
C# Grammar for tree-sitter
BekaValentine/tree-sitter-cpp
C++ grammar for tree-sitter
BekaValentine/tree-sitter-go
Go grammar for tree-sitter
BekaValentine/tree-sitter-java
Java grammar for tree-sitter
BekaValentine/tree-sitter-javascript
Javascript grammar for tree-sitter
BekaValentine/xanalogical_ipfs