Pinned Repositories
backwards_ATM
A simple ATM state machine in FSL, using an experimental syntax idiom focusing on backwards arrows.
github_textmate_theme
Github Theme for Textmate
Idris-dev
A Dependently Typed Functional Programming Language
vim-flex
Simple syntax highlighting for MXML and ActionScript.
msmorgan's Repositories
msmorgan/Idris-dev
A Dependently Typed Functional Programming Language
msmorgan/backwards_ATM
A simple ATM state machine in FSL, using an experimental syntax idiom focusing on backwards arrows.
msmorgan/angular
One framework. Mobile & desktop.
msmorgan/beta.rust-lang.org
the home of the new rust website - now in beta!
msmorgan/blender_scripts
msmorgan/cheapskate
Experimental markdown processor in Haskell
msmorgan/codelyzer
Linting for Angular projects.
msmorgan/codenames.cards
Codenames
msmorgan/dotfiles
msmorgan/FocusLastSound
msmorgan/idris-bi
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
msmorgan/Idris-dev_4159
Demonstration of idris-lang/Idris-dev #4159
msmorgan/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
msmorgan/idris-twist
msmorgan/Idris2
A purely functional programming language with first class types
msmorgan/Idris2-boot
A dependently typed programming language, a successor to Idris
msmorgan/intellij-ron
A plugin that adds RON (Rusty Object Notation) support to IntelliJ IDEA
msmorgan/intl
Internationalization and localization support
msmorgan/jssm
A Javascript finite state machine (FSM) with a simple API. Well tested, and typed with Flowtype. Generates visualizations w/ jssm-viz. MIT License.
msmorgan/magic
msmorgan/MSYS2-packages
Package scripts for MSYS2.
msmorgan/nalgebra
Linear algebra library for Rust.
msmorgan/oh-my-zsh
🙃 A delightful community-driven (with 1,300+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
msmorgan/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
msmorgan/rfcs
RFCs for changes to Rust
msmorgan/serde-plain
A serde serializer that serializes a subset of types into plain strings
msmorgan/shred
Shared resource dispatcher
msmorgan/site-webdev
Source for webdev.dartlang.org
msmorgan/vscode-idris
Idris for Visual Studio Code
msmorgan/vulkano
Safe and rich Rust wrapper around the Vulkan API