brownplt/smol-translator brownplt/smol-translator

  • Stars
    star
    1
  • Language
    JavaScript
  • License
    MIT License
  • Created about 1 year ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
brownplt/smol-translator
github

brownplt

Reviews

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

Repository Details

Translate SMoL programs to other programming languages

More Repositories

1

pyret-lang

The Pyret language.
JavaScript
1,060
star
2

flapjax

functional reactive programming for JavaScript
JavaScript
232
star
3

LambdaJS

Semantics and tools for JavaScript
JavaScript
91
star
4

LambdaS5

Semantics for ES5
OCaml
79
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
17
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

BlockLang

Visual block syntax for Whalesong
JavaScript
4
star
24

vscode-language-pyret

4
star
25

ovid

direct-style JavaScript CFA
Haskell
4
star
26

pyret-npm

JavaScript
3
star
27

ProgressiveTypes

Coq
3
star
28

pretty-fast-pretty-printer

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

pyret-lang-resugarer

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

k3

Academic process collaboration
JavaScript
2
star
31

strobe-old

Original Haskell implementation of Strobe
Haskell
2
star
32

pyret.org

The site for pyret.org
Prolog
2
star
33

webbits-html

JavaScript
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

anchor

JavaScript
1
star
41

pyret-editor-backend

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

powder-monkey

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

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
44

flapjax-lang.org

JavaScript
1
star
45

piton

Formal models exploring identity and capabilities.
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

LTLTutor

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