Calvin-L/minilang Calvin-L/minilang

  • Stars
    star
    1
  • Language
    Haskell
  • Created almost 13 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Calvin-L/minilang
github

Calvin-L

Reviews

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

Repository Details

A tiny, surprisingly turing-complete language

More Repositories

1

MarchingTetrahedrons

A tiny, simple implementation of the marching tetrahedrons algorithm.
C++
25
star
2

sj3d

A simple 3D software renderer for Java
Java
12
star
3

gen2it

Compiles python-style generators to java-style iterators
Python
6
star
4

sublime-coq-plugin

Syntax highlighting and Coq interactivity for Sublime Text 3
Python
6
star
5

ui-parser

Parses hand-drawn sketches into full-blown layout code
C++
5
star
6

many-smt

An SMT frontend that runs multiple backend solvers in parallel, returning the first result
Python
5
star
7

util

Utility scripts and wisdom for myself. Someone else might find it useful too.
Python
4
star
8

sublime-smtlib

SMTLIB syntax highlighting for Sublime Text 3
SMT
4
star
9

ezpsl

The easy parallel algorithm specification language
Haskell
4
star
10

sublime-tlaplus

TLA+ syntax highlighting for Sublime Text 3
TLA
3
star
11

sjforms

A small declarative-style library for validating untrusted input in Java
Java
1
star
12

checker-framework-plus-lombok

A demonstration of the Checker Framework and Lombok working in harmony
Shell
1
star
13

crash-safe-io

A small Java library for crash-safe file I/O
Java
1
star
14

calbloom

A dirt-simple Bloom filter library for C++
C++
1
star
15

pppl

The Persistent Parallel Programming Language
Rust
1
star
16

sqez

A thin thread-safe wrapper around Python's sqlite3
Python
1
star