BekaValentine/InversionCalculus BekaValentine/InversionCalculus

  • Stars
    star
    1
  • Language
  • Created over 11 years ago
  • Updated over 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
BekaValentine/InversionCalculus
github

BekaValentine

Reviews

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

Repository Details

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

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

labrys

A toolkit for web autonomy.
Python
19
star
5

ftp_sticker

16
star
6

hackers_poster

16
star
7

Haskell-Chart-Parser

Haskell
16
star
8

uwunion_sticker

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

LensTutorial

Haskell
11
star
10

basic-proof-development

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

GenericEvaluators

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

formal_logic_class

A class on formal logic
Python
6
star
13

QUUS

Haskell
6
star
14

proof-refinement-basics

JavaScript
5
star
15

differentiating-regular-expressions

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

wayback_reconstructor

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

Moka

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

regex-edit-distance

HTML
4
star
19

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
20

Plutus-Core-Spec

TeX
3
star
21

RegExWithZippers

RegEx with Zippers
3
star
22

c2_wiki_recovery

HTML
3
star
23

TTInAgda

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

datalog-magic-tutorial

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

cyberpunk_video_game_godot_repository

GDScript
2
star
26

p2p_reference

A reference for p2p tech
2
star
27

compiling_functional_languages

Haskell
2
star
28

gas_drowner

2
star
29

Noisebridge-Case-Statement

TeX
2
star
30

glimmer

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

noisebridge-social-media-tool

Python
2
star
32

xanalogical-hypertext-system

JavaScript
2
star
33

simpler-symbolic-machine-learning

HTML
2
star
34

0w0_sticker

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

generative_semantics_rg

A reading group about Generative Semantics
2
star
36

FAQLSAStickers

Stickers for Fully Automated Queer Luxury Space Anarchism
2
star
37

cursed_html

A truly cursed flavor of HTML
Python
2
star
38

set_based_program_calculation

2
star
39

language_engine_blog

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

anarchonami_stickers

1
star
41

BBHS

Barbados Haskell Class Lecture Notes
Haskell
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