jsyeo

mukanren

Scala implementation of MuKanren

chocolatey

Linux build of chocolatey

hindley-milner-scala

A simple implementation of Hindley-Milner type inference in Scala

plt-agda

administrate

A Rails engine that helps you put together a super-flexible admin dashboard.

awesome-compilers

:sunglasses: A curated list of awesome resources on Compilers, Interpreters and Runtimes.

build_guides

Build guides for all of the boards

cats-effect

The pure asynchronous runtime for Scala

coursemology2

Rails 4 re-write of Coursemology

DefinitelyTyped

The repository for high quality TypeScript type definitions.

docs.scala-lang

The Scala Documentation website

dotfiles

my dotfiles

fuel

The easiest HTTP networking library for Kotlin/Android

google-java-format

Reformats Java source code to comply with Google Java Style.

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

homebrew-sanity

jruby

JRuby, an implementation of Ruby on the JVM

jsyeo

It's a me, my readme

jsyeo.github.io

musik

IDK Feeling Hacky, Might Delete Later

nuget-chocolatey

NuGet Enhanced for Chocolatey

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

reactive

requests-scala

A Scala port of the popular Python Requests HTTP client: flexible, intuitive, and straightforward to use.

ruby-build

Compile and install Ruby

rubysg-reboot

Website for http://ruby.sg

sanity

sbt-git

A git plugin for SBT

sf

Introduction to programming language theory in Agda.

test-sbt