Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by TimWSpence

A curated list of projects in awesome lists by TimWSpence .

https://github.com/timwspence/stitch

Richard Eisenberg's Stitch STLC

Last synced: 15 Oct 2024

https://github.com/timwspence/scala-lsp

Spacemacs layer for scala with metals

Last synced: 03 Dec 2024

https://github.com/timwspence/bookmarks

A cli to manage bookmarks

Last synced: 03 Dec 2024

https://github.com/timwspence/cheetahs

They're cats, but faster

Last synced: 03 Dec 2024

https://github.com/timwspence/haskell-playground

Haskell snippets and experiments

Last synced: 03 Dec 2024

https://github.com/timwspence/programming-wasm-with-rust

Source for exercises/examples from the book Programming WebAssembly with Rust.

Last synced: 19 Dec 2024

https://github.com/timwspence/laura

A typed lambda calculus

Last synced: 03 Dec 2024

https://github.com/timwspence/lisp

A small Lisp implementation

Last synced: 03 Dec 2024

https://github.com/timwspence/rust-playground

Rust snippets and experiments

Last synced: 03 Dec 2024

https://github.com/timwspence/plfa

My code for PLFA

Last synced: 03 Dec 2024

https://github.com/timwspence/jupyter-workbook

Template for Jupyter workbooks

Last synced: 03 Dec 2024

https://github.com/timwspence/claws

It's finger(trees) for cats

Last synced: 03 Dec 2024

https://github.com/timwspence/docker-debugger

A docker image with all the standard process/networking debug tools

Last synced: 03 Dec 2024

https://github.com/timwspence/dinjector

A stupidly simple DI implementation in Ruby.

Last synced: 03 Dec 2024

https://github.com/timwspence/microc

A Haskell compiler for a subset of C

Last synced: 03 Dec 2024

https://github.com/timwspence/video-player

A hacky video player

Last synced: 10 Dec 2024

https://github.com/timwspence/scala-playground

Scala snippets and experiments

Last synced: 03 Dec 2024

https://github.com/timwspence/blog

My blog

Last synced: 03 Dec 2024

https://github.com/timwspence/discord-sched-bot

A simple scheduling bot for Discord

Last synced: 03 Dec 2024

https://github.com/timwspence/implementing-functional-languages

Companion code for SPJ's Implementing Functional Languages

Last synced: 03 Dec 2024

https://github.com/timwspence/applied-haskell

My implementation of the FPComplete exercises

Last synced: 03 Dec 2024