brendanzab/elm-stlc brendanzab/elm-stlc

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Elm
  • License
    MIT License
  • Created about 6 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
brendanzab/elm-stlc
github

brendanzab

Reviews

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

Repository Details

Bidirectional type checker for the simply typed lambda calculus

More Repositories

1

codespan

Beautiful diagnostic reporting for text-based programming languages.
Rust
1,088
star
2

gl-rs

An OpenGL function pointer loader for Rust
Rust
677
star
3

approx

Approximate floating point equality comparisons and assertions
Rust
149
star
4

language-garden

A garden of small programming language implementations ๐Ÿชด
OCaml
112
star
5

rust-nbe-for-mltt

Normalization by evaluation for Martin-Lรถf Type Theory with dependent records
Rust
87
star
6

moniker

Automagical variable binding library for Rust
Rust
63
star
7

algebra

Abstract algebra for Rust (still very much a WIP!)
Rust
60
star
8

color-rs

A library that provides types and conversions for working with various color formats.
Rust
45
star
9

ocaml-flake-example

An overly elaborate example of building a โ€˜Hello Worldโ€™ package with Nix flakes, OCaml, and Dune
Nix
40
star
10

chronicle

An event sourced CQRS framework for Rust
Rust
37
star
11

open.gl-tutorials

DEPRECATED
Rust
17
star
12

rusp

A minimal scripting and data language for Rust.
Rust
16
star
13

sax-rs

DEPRECATED - use https://github.com/netvl/rust-xml/ instead.
Rust
12
star
14

bullet-rs

Bindings and wrapper for the Bullet physics C API.
Rust
9
star
15

mia-lang

A little concatenative language
Rust
7
star
16

vscode-mercury

Mercury language integration for VSCode
4
star
17

rust-visitors

Experimenting with visitors in Rust
Rust
3
star
18

glfwvbo

D
3
star
19

odyssey-engine-old

An experimental game engine written in D.
D
3
star
20

idris-power-of-pi

Parts of The Power of Pi, implemented in Idris
Idris
3
star
21

ieee754-rs

IEEE 754-2008 floating point arithmetic for Rust (WIP)
Rust
2
star
22

efl-rs

Servo-specific wrapper for the relevant components of the Enlightenment Foundation Libraries.
Rust
2
star
23

lean_tutorial_exercises

Answers to the exercises in the Lean tutorial
Lean
2
star
24

hedge

Indexed based half-edge mesh implementation
Rust
1
star
25

nixpkgs

My personal Nix configuration
Nix
1
star
26

rust-bay-area-2014-06

Demo OpenGL code from the Rust Bay Area meetup on Game Tech.
Rust
1
star
27

sdl2-rs

Rust bindings and wrapper for SDL2 (Incomplete!)
Rust
1
star