BekaValentine/labrys BekaValentine/labrys

  • Stars
    star
    19
  • Rank 1,163,249 (Top 23 %)
  • Language
    Python
  • Created over 5 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
BekaValentine/labrys
github

BekaValentine

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A toolkit for web autonomy.

More Repositories

1

SimpleFP-v2

A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
Haskell
109
star
2

so-you-want-to-write-a-type-checker

JavaScript
55
star
3

SimpleFP

A series of implementations of a simple functional programming language.
Haskell
30
star
4

ftp_sticker

16
star
5

hackers_poster

16
star
6

Haskell-Chart-Parser

Haskell
16
star
7

uwunion_sticker

A sticker inspired by the IWW logo, but gayer.
12
star
8

LensTutorial

Haskell
11
star
9

basic-proof-development

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

GenericEvaluators

A technique for implementing evaluators of various styles, independent of any particular lambda calculus.
Haskell
7
star
11

formal_logic_class

A class on formal logic
Python
6
star
12

QUUS

Haskell
6
star
13

proof-refinement-basics

JavaScript
5
star
14

differentiating-regular-expressions

A companion repo for the blog post of the same name.
Haskell
5
star
15

wayback_reconstructor

A tool for reconstructing a website from the Wayback Machine's backups
Python
5
star
16

Moka

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

regex-edit-distance

HTML
4
star
18

noisebridge-access-control-systems

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

Plutus-Core-Spec

TeX
3
star
20

RegExWithZippers

RegEx with Zippers
3
star
21

c2_wiki_recovery

HTML
3
star
22

TTInAgda

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

datalog-magic-tutorial

A tutorial on the Magic transformation in Datalog.
3
star
24

cyberpunk_video_game_godot_repository

GDScript
2
star
25

p2p_reference

A reference for p2p tech
2
star
26

compiling_functional_languages

Haskell
2
star
27

gas_drowner

2
star
28

Noisebridge-Case-Statement

TeX
2
star
29

glimmer

A Flash-like editor and framework, maybe?
2
star
30

noisebridge-social-media-tool

Python
2
star
31

xanalogical-hypertext-system

JavaScript
2
star
32

simpler-symbolic-machine-learning

HTML
2
star
33

0w0_sticker

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

generative_semantics_rg

A reading group about Generative Semantics
2
star
35

FAQLSAStickers

Stickers for Fully Automated Queer Luxury Space Anarchism
2
star
36

cursed_html

A truly cursed flavor of HTML
Python
2
star
37

set_based_program_calculation

2
star
38

language_engine_blog

My old blog from the Language Engine website.
HTML
2
star
39

anarchonami_stickers

1
star
40

BBHS

Barbados Haskell Class Lecture Notes
Haskell
1
star
41

InversionCalculus

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

TieredSystemF

Agda
1
star
43

TextEditor

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

standard-ansible-playbooks

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

hackers_miniposter

1
star
46

bidirectional-proof-refinement

JavaScript
1
star
47

tree_editor

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

dns_over_ipfs

Python
1
star
49

Charted

A chart parsing library for Haskell.
Haskell
1
star
50

a_view_from_the_left

Notes for a possible YouTube show
1
star
51

Asteria

Yet Another Programming Language
Python
1
star
52

cyberpunk_game

A slow WIP cyberpunk game
1
star
53

ExperimentalMetalanguage

1
star
54

Language-Engine-API-v2

The new version of Language Engine using the SimpleFP language as the basis.
HTML
1
star
55

hackerspace-tours-show

1
star
56

AlphaConversion

Haskell
1
star
57

BrainDamage

An free software implementation of The Brain style graph based knowledge management.
JavaScript
1
star
58

subpup_sticker

1
star
59

proof_development

Haskell
1
star