brownplt/piton brownplt/piton

  • Stars
    star
    1
  • Language
  • Created almost 13 years ago
  • Updated almost 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
brownplt/piton
github

brownplt

Reviews

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

Repository Details

Formal models exploring identity and capabilities.

More Repositories

1

pyret-lang

The Pyret language.
JavaScript
1,066
star
2

flapjax

functional reactive programming for JavaScript
JavaScript
232
star
3

LambdaJS

Semantics and tools for JavaScript
JavaScript
90
star
4

LambdaS5

Semantics for ES5
OCaml
81
star
5

B2T2

The Brown Benchmark for Table Types (B2T2)
TypeScript
59
star
6

lambda-py

Racket
58
star
7

code.pyret.org

Website for serving Pyret to folks.
JavaScript
24
star
8

ML-LambdaJS

JavaScript semantics
JavaScript
18
star
9

cs173-python

Python framework code for cs173/fall 2012
Racket
16
star
10

strobe

The Strobe Type Checker for JavaScript
JavaScript
15
star
11

Resugarer

Lifting Reduction Semantics through Syntactic Sugar
Racket
13
star
12

TeJaS

A family of type systems for JavaScript
OCaml
12
star
13

webbits

An updated webbits is available at https://github.com/jswebtools/language-ecmascript
JavaScript
10
star
14

pyret-docs

The documentation for Pyret.
Racket
9
star
15

scope-graph

Aims for defmacro style macros, with the type system guaranteeing hygiene and binding-safety.
Rust
8
star
16

javascript-contracts

design-by-contract library for JavaScript
Haskell
7
star
17

examplar

A Pyret editor for supporting example-first design.
JavaScript
7
star
18

admiral-edu

Captain Teach 2.0
JavaScript
6
star
19

insta-model

TeX
6
star
20

judgmental-resugaring

Racket
5
star
21

ZZZ-captain-teach

Set sail for Learning Island! Deprecated and no longer maintained
JavaScript
5
star
22

hygienic-resugaring

Prototype implementation for "Hygienic Resugaring of Compositional Desugaring", ICFP'15.
Makefile
5
star
23

LTLTutor

Misconception-based tutor designed to help people learn Linear Temporal Logic.
Python
5
star
24

BlockLang

Visual block syntax for Whalesong
JavaScript
4
star
25

vscode-language-pyret

4
star
26

ovid

direct-style JavaScript CFA
Haskell
4
star
27

pyret-npm

JavaScript
3
star
28

ProgressiveTypes

Coq
3
star
29

pretty-fast-pretty-printer

A simple, linear-time pretty printing library
JavaScript
3
star
30

pyret-lang-resugarer

A branch of Pyret supporting resugaring. (For Pyret's old Racket implementation.)
Racket
3
star
31

k3

Academic process collaboration
JavaScript
2
star
32

strobe-old

Original Haskell implementation of Strobe
Haskell
2
star
33

pyret.org

The site for pyret.org
Prolog
2
star
34

Alloy-Ex

Clojure
2
star
35

testfest

JavaScript
2
star
36

lambdajs-coq

Coq
2
star
37

atom-language-pyret

Pyret language support for Atom
2
star
38

DOM-Semantics

Racket
2
star
39

Resume

Faculty search.
JavaScript
2
star
40

webbits-html

JavaScript
2
star
41

anchor

JavaScript
1
star
42

pyret-editor-backend

A server and client skeleton for interactively compiling Pyret code from a web browser.
JavaScript
1
star
43

powder-monkey

Utilities for orchestrating massive automated evaluations of Pyret programs.
JavaScript
1
star
44

iticse-in-flow-2014

Documents for working group on in-flow peer review at ITiCSE 2014 (http://iticse2014.it.uu.se/workinggroups.php#methodology)
Racket
1
star
45

flapjax-lang.org

JavaScript
1
star
46

Apply

Graduate admissions
JavaScript
1
star
47

shim

Temporary storage for Particle core shim and tutorial doc
Arduino
1
star
48

smol-to-others

Translate SMoL programs to other programming languages
Racket
1
star
49

chaff-gen-artifacts

Artifacts for Conceptual Mutation Testing
Pyret
1
star
50

jswebtools.org

HTML
1
star
51

s-expression

An S-expression parser written ReScript
JavaScript
1
star
52

smol-translator

Translate SMoL programs to other programming languages
JavaScript
1
star