Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by jroesch
A curated list of projects in awesome lists by jroesch .
https://github.com/jroesch/290c-reading-list
A reading list with citations for UCSB's CS 290G
Last synced: 15 Oct 2024
https://github.com/jroesch/scala-by-the-bay-2014
A repository for my talk at Scala by the Bay 2014.
Last synced: 15 Oct 2024
https://github.com/jroesch/http-scala
A simple HTTP client in Scala for doing GETs and POSTs.
Last synced: 15 Oct 2024
https://github.com/jroesch/language-lean
An Atom package for the Lean language
Last synced: 15 Oct 2024
https://github.com/jroesch/rustv
A tool for managing multiple versions of the Rust compiler.
Last synced: 15 Oct 2024
https://github.com/jroesch/gh-news
A tool for generating the TVM newsletter's detailed statistics.
Last synced: 15 Oct 2024
https://github.com/jroesch/spinalcord
A set of extensions built on Backbone.js to make development easier.
Last synced: 15 Oct 2024
https://github.com/jroesch/tvm-cli-rs
An example of building a small CLI using TVM and Rust.
Last synced: 15 Oct 2024
https://github.com/jroesch/tax
An example of writing a Jax interpreter which uses to TVM to JIT Jax programs.
Last synced: 15 Oct 2024
https://github.com/jroesch/haskellnotes
A repo for the notes, and assignments I use for my talks on Haskell.
Last synced: 15 Oct 2024
https://github.com/jroesch/acetic
A playground for experimenting with Rust's type system
Last synced: 15 Oct 2024
https://github.com/jroesch/woven
A place for experiments with Ruby concurrency primitives
Last synced: 15 Oct 2024
https://github.com/jroesch/pg-typeprovider
A macro that implements a type provider for PostgreSQL schema.
Last synced: 15 Oct 2024
https://github.com/jroesch/tweak
An small embeddable scripting language in Scala.
Last synced: 15 Oct 2024
https://github.com/jroesch/muri
A build tool for the Lean programming language
Last synced: 15 Oct 2024
https://github.com/jroesch/lean.js
An example of using Lean's backend API to implement a new language backend.
compiler javascript lean programming-language
Last synced: 15 Oct 2024
https://github.com/jroesch/parsing
A generalized version of data.buffer.parse for Lean.
Last synced: 15 Oct 2024
https://github.com/jroesch/homebrew-clojure
A homebrew recipe that setups on rlwrap and tab completion in the base Clojure REPL.
Last synced: 15 Oct 2024
https://github.com/jroesch/jroesch.github.io
My website generated by Jekyll and served by Github Pages.
Last synced: 15 Oct 2024
https://github.com/jroesch/ctpsite
A backend blogging engine for use in a class I'm teaching
Last synced: 15 Oct 2024
https://github.com/jroesch/singletons
An implementation of singleton types in Rust using macros, and type level programming.
Last synced: 15 Oct 2024
https://github.com/jroesch/learnyouascala
A light-weight Scala tutorial with examples.
Last synced: 15 Oct 2024
https://github.com/jroesch/molten
A library for exploring type level programming in Rust.
Last synced: 15 Oct 2024
https://github.com/jroesch/cb
A compiler for a C like language with ad-hoc polymorphism.
Last synced: 15 Oct 2024
https://github.com/jroesch/parallax
Dependently typed parser combinators for Idris.
Last synced: 15 Oct 2024
https://github.com/jroesch/ltest
A library containing testing primitives for Lean
Last synced: 15 Oct 2024
https://github.com/jroesch/sjson
A hand coded recursive descent parser for JSON in Scala.
Last synced: 15 Oct 2024
https://github.com/jroesch/reference
A prototype reference for the Lean programming language
Last synced: 15 Oct 2024
https://github.com/jroesch/readr
An app that allows you to categorize your written content, whether it is exists on the web, is a pdf, an ebook, or plain text.
Last synced: 15 Oct 2024
https://github.com/jroesch/poss-class
A repository containing all of our teaching materials for Principles of Safe Software.
Last synced: 15 Oct 2024
https://github.com/jroesch/morphism.rs
A structure for suspended closure composition in Rust
Last synced: 15 Oct 2024
https://github.com/jroesch/psyche
A static site generator focused on allowing you to spend time on content instead of code.
Last synced: 15 Oct 2024
https://github.com/jroesch/pfds-okasaki-scala
A Scala implementation of the examples in Chris Okasaki's Purely Functional Data Structures.
Last synced: 15 Oct 2024
https://github.com/jroesch/io.lean
An experimental IO library for Lean (using my experimental backend).
Last synced: 15 Oct 2024
https://github.com/jroesch/introcs
Something I'm working on for new students to Computer Science
Last synced: 15 Oct 2024
https://github.com/jroesch/hweb
Simple Web Framework code, built on top WAI.
Last synced: 15 Oct 2024
https://github.com/jroesch/github-archive
A place to move all my inactive GH repositories
Last synced: 15 Oct 2024
https://github.com/jroesch/idrc2idr
A tool in the style of hsc2hs for binding to C from Idris.
Last synced: 15 Oct 2024
https://github.com/jroesch/ermine-tap
A homebrew tap for the Ermine programming language.
Last synced: 15 Oct 2024
https://github.com/jroesch/advice
A Lean hole command for providing advice for the promising prover.
Last synced: 15 Oct 2024
https://github.com/jroesch/hyperloop
An prototype event loop for Ruby written in Rust using `mio`
Last synced: 15 Oct 2024
https://github.com/jroesch/hacking-rustc
Random documentation and wisdom assembled while hacking on Rustc.
Last synced: 15 Oct 2024
https://github.com/jroesch/grading-framework
Tooling for grading programming assignments
Last synced: 15 Oct 2024
https://github.com/jroesch/ghc-mod-atom
Explorations in adding ghc-mod to Atom.
Last synced: 15 Oct 2024
https://github.com/jroesch/gitbox
A Dropbox for source files, backed by Git.
Last synced: 15 Oct 2024
https://github.com/jroesch/fstar-prims
A Lean package containing primitives required for the F* Lean tactic.
Last synced: 15 Oct 2024
https://github.com/jroesch/compiler-performance
A tool for empirically evaluating the performance of Lean's native compiler
Last synced: 15 Oct 2024
https://github.com/jroesch/homebrew-idris
A set of Homebrew Formulas for the Idris programming language.
Last synced: 15 Oct 2024
https://github.com/jroesch/concurrency
A place to stash my experiments in Rust concurrency primitives
Last synced: 15 Oct 2024
https://github.com/jroesch/cs240-parallel-applications
My course work for CMPSC 240 at UCSB
Last synced: 15 Oct 2024
https://github.com/jroesch/lambdaconf-2015
Materials for my talk at LambdaConf 2015
Last synced: 15 Oct 2024
https://github.com/jroesch/codedeck
A command line tool for taking a source files with comments, and generating a HTML5 presentation.
Last synced: 15 Oct 2024
https://github.com/jroesch/gittex
A tool for collaborative writing using Tex and Git.
Last synced: 15 Oct 2024
https://github.com/jroesch/effects
Experiments with reasoning about higher order, effectful, imperative programs.
Last synced: 15 Oct 2024
https://github.com/jroesch/crypto-eng
My repository for 290g (S '15) at UCSB
Last synced: 15 Oct 2024
https://github.com/jroesch/coffee-import
A static 'import' statement for Coffescript and Javascript.
Last synced: 15 Oct 2024
https://github.com/jroesch/bitvector
An implementation of bit vectors in Coq.
Last synced: 15 Oct 2024
https://github.com/jroesch/bytecodes
A library for manipulating Java bytecode and class files.
Last synced: 15 Oct 2024
https://github.com/jroesch/chemistry
A Haskell package filled with useful functions for doing simple chemistry
Last synced: 15 Oct 2024
https://github.com/jroesch/mcjs-synthetic-benchmarks
Synthetic benchmarks for MCJS.
Last synced: 15 Oct 2024
https://github.com/jroesch/lean-playground
A repository for hacking around in Lean
Last synced: 15 Oct 2024
https://github.com/jroesch/rethinkdb-scala
A typesafe RethinkDB driver in Scala.
Last synced: 15 Oct 2024
https://github.com/jroesch/matrix.rs
Very typed matrices for fun and profit.
Last synced: 15 Oct 2024
https://github.com/jroesch/ruby-kannel
An example Sinatra app that communicates with Kannel to send and receive SMS.
Last synced: 15 Oct 2024
https://github.com/jroesch/ustd
A small Rust standard library for use in CSE 451
Last synced: 15 Oct 2024
https://github.com/jroesch/gradr
Scalable automatic grading for everyone! (for CS 290B)
Last synced: 15 Oct 2024
https://github.com/jroesch/debugging-tools
A set of tools for doing crazy debugging things in Ruby
Last synced: 15 Oct 2024
https://github.com/jroesch/distributed-systems
A collection of my work from CS271 (Graduate Distributed Systems) at UCSB.
Last synced: 15 Oct 2024
https://github.com/jroesch/monolith
Collections that can scale beyond Int.MaxValue.
Last synced: 15 Oct 2024
https://github.com/jroesch/toolbelt-rs
A Rust library full of extensions to the standard library
Last synced: 15 Oct 2024
https://github.com/jroesch/lwnn
An implementation of a statically typed OO language for teaching static analysis techniques.
Last synced: 15 Oct 2024
https://github.com/jroesch/tapl-scala
Implementations of the languages described in Types and Programming Languages.
Last synced: 15 Oct 2024
https://github.com/jroesch/tempajure
A small templating library in Clojure.
Last synced: 15 Oct 2024
https://github.com/jroesch/vscode-input-assist
Tree-based input assistance for unicode and more in Visual Studio Code
Last synced: 15 Oct 2024
https://github.com/jroesch/stg
A high level implementation of the STG in Rust.
Last synced: 15 Oct 2024
https://github.com/jroesch/vscode-fstar
A VS Code extension providing support for the F* language.
Last synced: 15 Oct 2024
https://github.com/jroesch/reading-list
My current research reading list, and associated notes.
Last synced: 15 Oct 2024
https://github.com/jroesch/dda
Doubtfully Distributed Arrays (distributed parallel high performance arrays for CS240).
Last synced: 15 Oct 2024