jroesch/Tweak jroesch/Tweak

  • Stars
    star
    1
  • Language
    Scala
  • Created over 12 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jroesch/Tweak
github

jroesch

Reviews

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

Repository Details

An small embeddable scripting language in Scala.

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

acetic

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

tvm-cli-rs

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

tarnish

Bridging Ruby and Rust
Rust
2
star
10

woven

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

jroesch

Hakyll site for my webpage.
Haskell
2
star
12

SpinalCord

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

HaskellNotes

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

rustv

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

gh-news

A tool for generating the TVM newsletter's detailed statistics.
Python
2
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