CD2H gitForager

Jacob Mitchell

Login: jmitchell

Company: @input-output-hk

Location: null

Bio: null

Blog: https://requisitebits.com

Member of

Hack for Western Mass

Repositories

6887psets: Problem Sets for MIT 6.887 Formal Reasoning About Programs
alchemist.el: Elixir Tooling Integration Into Emacs
arm-iss: (pre-alpha) Instruction set simulator for the ARM architecture
armor: (WIP) ARM emulator
backtrex: Backtracking behaviour to solve discrete problems by brute force
BirdNest: personal Emacs configuration
bnfc-mode: Emacs mode for BNFC files
boggle: Boggle data structures and algorithms in Haskell
cabal2nix: Generate Nix build instructions from a Cabal file
_capstone: A sandbox for playing with the Capstone engine
cardano-sl: pos cryptocurrency prototype
cargo: The Rust package manager
check-ci: poking CI systems for fun
compute-cluster: null
consul: Consul is a tool for service discovery, monitoring and configuration.
cpphs-blackbox: Blackbox testing for cpphs Haskell package on a variety of operating systems and GHC versions.
cryptonite-openssl: openssl crypto binding extending cryptonite with new crypto capabilities
daedalus: Daedalus - cryptocurrency wallet
daily-curriculum: Daily curriculum for Ada class
data_structures: Data structures implemented in Rust for fun and (not so much) profit
_dcpl: Implementations of various languages specified in _Design Concepts of Programming Languages_
dhall-lang: A configuration language guaranteed to terminate
distribution: The Docker toolset to pack, ship, store, and deliver content
docker-rust: Rust development environment
ecto: A database wrapper and language integrated query for Elixir
edn: null
electron-api-demos: Explore the Electron APIs
elixir: Elixir is a dynamic, functional language designed for building scalable and maintainable applications
elixir-school: Lessons about the Elixir programming language
elm-compiler: Compiler for Elm, a functional language for reliable webapps.
elm-make: A build tool for Elm projects
elm-package: Command line tool to share Elm libraries
elm-platform: Bundle of all core development tools for Elm
executioner: null
filelock: Portable interface to file locking
git-annex: Manage large files with git. (This github mirror is not used for development. Please use https://git-annex.branchable.com/bugs/ for bug reports and pull requests.)
haskell-dummy-project1: null
haskell-dummy-project2: null
haskell-lsp: Haskell library for the Microsoft Language Server Protocol
haskell-multi-package-demo1: null
hdl: null
hl: Haskell web site
hlint: Haskell source code suggestions
Idris-dev: A Dependently Typed Functional Programming Language
idris-elixir: Idris backend targeting Elixir (Work in progress)
idris-emptycg: An empty code generator, to be used as a starting point for any new back ends.
idris-tutorial: A tutorial to the Idris Programming Language.
inch_ex: Provides a Mix task that gives you hints where to improve your inline docs.
iohk-nixops: NixOps deployment configuration for Cardano SL
jmitchell.github.io: null
koka: Koka language compiler and interpreter
lambda-mod-zsh-theme: A simple zsh theme. Don't forget to give a ? if you like it!
LindenmayerSystem: null
lisp-koans: Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.
literate-forth: WIP: Small Forth implementation as a literate program
llthw: Learn Lisp The Hard Way source-code and full book text
low-level-programming: Source code for 'Low-Level Programming' by Igor Zhirkov
mazesolving: A variety of algorithms to solve mazes from an input image
melpa: Scripts for building Emacs packages from Version Control
meta-ii: null
microKandris: microKanren in Idris
mirage-experiments: null
multiset: Multiset/bag implementation in Rust
neil: General tools for Neil
nixpkgs: Nix Packages collection
nixpkgs-channels: Nixpkgs/NixOS branches that track the Nixpkgs/NixOS channels
nomad: A Distributed, Highly Available, Datacenter-Aware Scheduler
npm: a package manager for javascript
nsis: Haskell DSL for producing Windows Installer using NSIS
optparse-test: Simple optparse-applicative project for sanity testing on different platforms
pandoc: Universal markup converter
pandoc-experiments: Sandbox to play with Pandoc and try out new use cases.
parser-combinators: A parser combinators library for Rust
platform-bootstrapper: Launch platform-specific code from a single script that works on Windows and POSIX. Embrace the bug-ridden hack ;)
plutus-prototype: null
pp: PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...
programming-praxis: exercises from programmingpraxis.com
qubes-app-linux-img-converter: Qubes component: app-linux-img-converter
qubes-app-linux-input-proxy: null
qubes-app-linux-pdf-converter: Qubes component: app-linux-pdf-converter
qubes-app-linux-split-gpg: Qubes component: app-linux-split-gpg
qubes-app-linux-tor: Qubes component: app-linux-tor
qubes-app-thunderbird: Qubes component: app-thunderbird
qubes-artwork: Qubes component: artwork
qubes-builder: Qubes Builder
qubes-builder-archlinux: Qubes component: builder-archlinux
qubes-builder-debian: Qubes component: builder-debian
qubes-builder-fedora: Qubes component: builder-fedora
qubes-builder-nixos: WIP
qubes-core-agent-linux: Qubes component: core-agent-linux
qubes-core-qubesdb: Qubes component: core-qubesdb
qubes-core-vchan-xen: Qubes component: core-vchan-xen
qubes-gui-agent-linux: Qubes component: gui-agent-linux
qubes-gui-agent-xen-hvm-stubdom: Qubes component: gui-agent-xen-hvm-stubdom
qubes-gui-common: Qubes component: gui-common
qubes-linux-template-builder: Qubes component: linux-template-builder
qubes-linux-utils: Qubes component: linux-utils
qubes-vmm-xen: Qubes component: vmm-xen
reproenv: Reproducible Common Lisp environment
ruby: The Ruby Programming Language
rust_for_rubyists: Learn Rust
sandbox: null
smlpraxis: Standard ML code developed for and inspired by smlpraxis.com
tal: An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
urweb: The Ur/Web programming language
vagrant-bootstrap: null
yarn-ball: Global Game Jam 2013
yst: create static websites from YAML data and string templates

Commits To

Repository	Most Recent Commit	# Commits

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.