Discover @BekaValentine Open Source projects

Rebecca Valentine (@BekaValentine)

BekaValentine

Stars
404
Global Rank 69,391 (Top 3 %)
Followers 143
Following 6
Registered almost 15 years ago
Most used languages

Haskell
36.1 %

Python
19.4 %

JavaScript
16.7 %

HTML
13.9 %

TeX
5.6 %

Agda 5.6 %

GDScript 2.8 %
Location 🇺🇸 United States
Country Total Rank 17,869
Country Ranking

Agda 39

Haskell
141

GDScript 759

TeX
1,964

HTML
7,892

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

SimpleFP

A series of implementations of a simple functional programming language.

labrys

A toolkit for web autonomy.

ftp_sticker

hackers_poster

Haskell-Chart-Parser

uwunion_sticker

A sticker inspired by the IWW logo, but gayer.

LensTutorial

basic-proof-development

An experiment to show how a proof development system would work. Prelude to a blog post, most likely.

GenericEvaluators

A technique for implementing evaluators of various styles, independent of any particular lambda calculus.

formal_logic_class

A class on formal logic

QUUS

proof-refinement-basics

differentiating-regular-expressions

A companion repo for the blog post of the same name.

wayback_reconstructor

A tool for reconstructing a website from the Wayback Machine's backups

Moka

An old project to recreate Cocoa's FoundationKit and AppKit in JS instead of ObjectiveC

regex-edit-distance

noisebridge-access-control-systems

A repo to collect ideas and resources for designing new models of access control systems at Noisebridge and beyond!

Plutus-Core-Spec

RegExWithZippers

RegEx with Zippers

c2_wiki_recovery

TTInAgda

An implementation of the STLC in Agda, with raw terms, typing proofs, and indexed terms

datalog-magic-tutorial

A tutorial on the Magic transformation in Datalog.

cyberpunk_video_game_godot_repository

p2p_reference

A reference for p2p tech

compiling_functional_languages

gas_drowner

Noisebridge-Case-Statement

glimmer

A Flash-like editor and framework, maybe?

noisebridge-social-media-tool

xanalogical-hypertext-system

simpler-symbolic-machine-learning

0w0_sticker

A sticker in the style of a chemical hazard sign, but also 0w0.

generative_semantics_rg

A reading group about Generative Semantics

FAQLSAStickers

Stickers for Fully Automated Queer Luxury Space Anarchism

cursed_html

A truly cursed flavor of HTML

set_based_program_calculation

language_engine_blog

My old blog from the Language Engine website.

anarchonami_stickers

BBHS

Barbados Haskell Class Lecture Notes

InversionCalculus

A simply typed lambda calculus solver for Agda, based on Pfenning's Inversion Calculus.

TieredSystemF

TextEditor

A new terminal-based text editor with scripting and stuff.

standard-ansible-playbooks

A collection of Ansible playbooks that all of my Python web apps have in common.

hackers_miniposter

bidirectional-proof-refinement

tree_editor

A JavaScript toolkit for displaying and editing trees in a browser.

dns_over_ipfs

Charted

A chart parsing library for Haskell.

a_view_from_the_left

Notes for a possible YouTube show

Asteria

Yet Another Programming Language

cyberpunk_game

A slow WIP cyberpunk game

ExperimentalMetalanguage

Language-Engine-API-v2

The new version of Language Engine using the SimpleFP language as the basis.

hackerspace-tours-show

AlphaConversion

BrainDamage

An free software implementation of The Brain style graph based knowledge management.

subpup_sticker

proof_development