jroesch/language-lean jroesch/language-lean

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    JavaScript
  • License
    MIT License
  • Created over 9 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jroesch/language-lean
github

jroesch

Reviews

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

Repository Details

An Atom package for the Lean language

More Repositories

1

290c-reading-list

A reading list with citations for UCSB's CS 290G
TeX
6
star
2

thesis

My PhD thesis.
TeX
4
star
3

HTTP-Scala

A simple HTTP client in Scala for doing GETs and POSTs.
Scala
3
star
4

scala-by-the-bay-2014

A repository for my talk at Scala by the Bay 2014.
Scala
3
star
5

tax

An example of writing a Jax interpreter which uses to TVM to JIT Jax programs.
Python
2
star
6

acetic

A playground for experimenting with Rust's type system
Rust
2
star
7

tvm-cli-rs

An example of building a small CLI using TVM and Rust.
CMake
2
star
8

tarnish

Bridging Ruby and Rust
Rust
2
star
9

woven

A place for experiments with Ruby concurrency primitives
Ruby
2
star
10

jroesch

Hakyll site for my webpage.
Haskell
2
star
11

SpinalCord

A set of extensions built on Backbone.js to make development easier.
CoffeeScript
2
star
12

HaskellNotes

A repo for the notes, and assignments I use for my talks on Haskell.
Haskell
2
star
13

rustv

A tool for managing multiple versions of the Rust compiler.
Rust
2
star
14

gh-news

A tool for generating the TVM newsletter's detailed statistics.
Python
2
star
15

Tweak

An small embeddable scripting language in Scala.
Scala
1
star
16

CTPSite

A backend blogging engine for use in a class I'm teaching
Scala
1
star
17

Cb

A compiler for a C like language with ad-hoc polymorphism.
Haskell
1
star
18

LispPlusPlus

A simple C++ Lisp Implementation.
C++
1
star
19

homebrew-clojure

A homebrew recipe that setups on rlwrap and tab completion in the base Clojure REPL.
Ruby
1
star
20

sl-prolog

Summer vacation experiments.
Haskell
1
star
21

singletons

An implementation of singleton types in Rust using macros, and type level programming.
Rust
1
star
22

muri

A build tool for the Lean programming language
Lean
1
star
23

molten

A library for exploring type level programming in Rust.
Rust
1
star
24

parsing

A generalized version of data.buffer.parse for Lean.
Lean
1
star
25

lean.js

An example of using Lean's backend API to implement a new language backend.
Lean
1
star
26

LearnYouAScala

A light-weight Scala tutorial with examples.
1
star
27

jroesch.github.io

My website generated by Jekyll and served by Github Pages.
HTML
1
star
28

mu

A prototype Lean build tool
Rust
1
star
29

pg-typeprovider

A macro that implements a type provider for PostgreSQL schema.
Rust
1
star
30

layer-lean

A Spacemacs layer for Lean
Emacs Lisp
1
star