jroesch/acetic jroesch/acetic

  • Stars
    star
    2
  • Language
    Rust
  • License
    MIT License
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jroesch/acetic
github

jroesch

Reviews

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

Repository Details

A playground for experimenting with Rust's type system

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

language-lean

An Atom package for the Lean language
JavaScript
3
star
5

scala-by-the-bay-2014

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

tax

An example of writing a Jax interpreter which uses to TVM to JIT Jax programs.
Python
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