Giters
Warrick Macmillan (wmacmil)

wmacmil

Geek Repo

11

followers

13

following

125

stars

Location:Brooklyn New York

Github PK Tool:Github PK Tool

Warrick Macmillan's starred repositories

vim-vixen

Accelerates your web browsing with Vim power!!

Language:TypeScriptLicense:MITStargazers:2110Issues:0Issues:0

pandoc

Universal markup converter

Language:HaskellLicense:NOASSERTIONStargazers:34176Issues:0Issues:0

Wikipedia-Dark

:mortar_board: Dark Wikipedia

Language:CSSLicense:NOASSERTIONStargazers:485Issues:0Issues:0

vim-nerdtree-tabs

NERDTree and tabs together in Vim, painlessly

Language:Vim scriptLicense:Apache-2.0Stargazers:1429Issues:0Issues:0

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

Language:HaskellLicense:Apache-2.0Stargazers:3766Issues:0Issues:0

globular

Globular

Language:JavaScriptStargazers:37Issues:0Issues:0

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Language:HaskellLicense:MITStargazers:3341Issues:0Issues:0

sml-redprl

The People's Refinement Logic

Language:Standard MLLicense:MITStargazers:227Issues:0Issues:0

owl

Owl - OCaml Scientific Computing @ https://ocaml.xyz

Language:OCamlLicense:MITStargazers:1209Issues:0Issues:0

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs LispLicense:GPL-3.0Stargazers:23663Issues:0Issues:0

dth

Examples of Dependently-typed programs in Haskell

Language:HaskellLicense:MITStargazers:301Issues:0Issues:0

CompCert

The CompCert formally-verified C compiler

Language:CoqLicense:NOASSERTIONStargazers:1864Issues:0Issues:0

enlive-tutorial

An Easy Introduction to Enlive

Language:ClojureStargazers:616Issues:0Issues:0

enlive

a selector-based (à la CSS) templating and transformation system for Clojure

Language:ClojureStargazers:1619Issues:0Issues:0

vim-notes

Easy note taking in Vim

Language:VimLStargazers:1597Issues:0Issues:0

martin-lof

papers of Per Martin Löf

Language:TeXStargazers:746Issues:0Issues:0

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellLicense:NOASSERTIONStargazers:3427Issues:0Issues:0

idris-vim

Idris mode for vim

Language:Vim scriptStargazers:221Issues:0Issues:0

TypeFunc

Resources for type theory, functional programming, etc.

Stargazers:309Issues:0Issues:0

contracts

Imandra Contracts - Formal verification of smart contracts

Language:OCamlLicense:Apache-2.0Stargazers:32Issues:0Issues:0

Haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Language:HaskellLicense:BSD-3-ClauseStargazers:4260Issues:0Issues:0

friday

Fast image IO and transformations.

Language:HaskellLicense:LGPL-3.0Stargazers:278Issues:0Issues:0

specs

Technical specifications for the libp2p networking stack

Stargazers:1562Issues:0Issues:0

easy-application

Over 400 software engineering companies that are easy to apply to

License:MITStargazers:7754Issues:0Issues:0

holochain-proto

Holographic storage for distributed applications -- a validating monotonic DHT "backed" by authoritative hashchains for data provenance (a Ceptr sub-project)

Language:GoLicense:GPL-3.0Stargazers:877Issues:0Issues:0

haskell-opaleye

Language:HaskellLicense:NOASSERTIONStargazers:602Issues:0Issues:0

FreeCAD

This is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

Language:C++License:NOASSERTIONStargazers:19335Issues:0Issues:0

opl

Operad Programming Language in Haskell, by David Darais

Language:HaskellLicense:NOASSERTIONStargazers:31Issues:0Issues:0

plt

Programming Language Theory λΠ

Language:CSSStargazers:5219Issues:0Issues:0

Mancy

>_ Electron based NodeJS REPL :see_no_evil:

Language:JavaScriptLicense:MITStargazers:2629Issues:0Issues:0