Discover @BekaValentine Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Swift

Ruby

HTML

CoffeeScript

C++

TypeScript

MATLAB

Zig

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

TypeScript

PHP

C++

Kotlin

Nix

Rust

Swift

Julia

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇰🇬 Kyrgyzstan

🇳🇺 Niue

🇯🇵 Japan

🇵🇰 Pakistan

🇫🇯 Fiji

🇹🇷 Turkey

🇲🇰 North Macedonia

🇳🇬 Nigeria

All Countries Compare Countries

Rebecca Valentine (@BekaValentine)

BekaValentine

Stars
406
Global Rank 69,322 (Top 3 %)
Followers 145
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 540

TeX
1,953

HTML
8,024

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