A command-line tool that makes it easier to track and manage Issues/PRs across multiple Github repositories.

Language development libraries for Rust

⭐️ Companies that don't have a broken hiring process

Natural language date and time parsing library for Rust.

cargo-generate template of a Rust native cdylib backend with Electron frontend project!

A modern editor with a backend written in Rust.

Notes for winter 2018 PL seminar

Code that we write in class.

Medical Equipment Inventory Management System

Movie List Tracker iOS App

mal - Make a Lisp

A dependently typed programming language, a successor to Idris

A Dependently Typed Functional Programming Language

An Emacs framework for the stubborn martian hacker

Agda is a dependently typed programming language / interactive theorem prover.

State Machine of 5G LTE System for Vulnerability Discovery

The Iowa Agda Library

Curated list of Go design patterns, recipes and idioms

iOS app for meal planning