msmorgan's Stars
Cockatrice/Cockatrice
A cross-platform virtual tabletop for multiplayer card games
Jessime/youtube_history
A quick analysis of all Youtube videos in a user's history.
ETLCPP/etl
Embedded Template Library
Marwes/combine
A parser combinator library for Rust
Render96/Render96Wiki
TheDan64/inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
mendess/scryfall-rs
A wrapper around the scryfall magic the gathering api
PedalPlayground/pedalplayground
fu5ha/ultraviolet
A wide linear algebra crate for games and graphics.
edwinb/Idris2-boot
A dependently typed programming language, a successor to Idris
probcomp/Gen.jl
A general-purpose probabilistic programming system with programmable inference
dart-lang/sdk
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
angulardart/angular
Fast and productive web framework provided by Dart
ponylang/ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
dart-lang/language
Design of the Dart language
libfive/libfive
Infrastructure for solid modeling
rust-lang/rust
Empowering everyone to build reliable and efficient software.
iron/iron
An Extensible, Concurrent Web Framework for Rust
tokio-rs/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
vulkano-rs/vulkano
Safe and rich Rust wrapper around the Vulkan API
rolandoislas/drc-sim
Wii U Gamepad Simulator Backend
idris-hackers/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
floydhub/dl-docker
An all-in-one Docker image for deep learning. Contains all the popular DL frameworks (TensorFlow, Theano, Torch, Caffe, etc.)
StoneCypher/jssm
Fast, easy Javascript finite state machines with visualizations; enjoy a one liner FSM instead of pages. MIT; Typescripted; 100% test coverage. Implements the FSL language.
JuliaLang/julia
The Julia Programming Language
msmorgan/github_textmate_theme
Github Theme for Textmate
ziglang/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Okazari/Rythm.js
A javascript library that makes your page dance.
msmorgan/Idris-dev
A Dependently Typed Functional Programming Language
sbp/idris-bi
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq