Michael Fox

ch341par_linux. C

horizon. Horizon is a free EDA package

pylance-release. Documentation and issues for Pylance

intro-to-pytest. An introduction to PyTest with lots of simple, hackable examples

origen_stil. An Origen API to consume test IP in STIL format (IEEE 1450)

functionaljava. Functional programming in Java

linuxify. 🍏🐧 Transparently transform the macOS CLI into a fresh GNU/Linux CLI experience.

OneOf. Easy to use F#-like ~discriminated~ unions for C# with exhaustive compile time matching

guacamole-server. The Apache Guacamole proxy daemon (guacd), C API (libguac), and protocol support.

catfs. Cache AnyThing filesystem written in Rust

CacheFS. File System Cache

git-fat. Simple way to handle fat files without committing them to git, supports synchronization using rsync

spark-highcharts. Support Highcharts in Apache Zeppelin

zeppelin. Web-based notebook that enables data-driven, interactive data analytics and collaborative documents with SQL, Scala and more.

holoviews. With Holoviews, your data visualizes itself.

chip8-reb. Chip8 Emulator in Rebol 3

red. Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!

zsim. A fast and scalable x86-64 multicore simulator

homebrew-riscv. homebrew (macOS) packages for RISC-V toolchain

SpinalHDL. Scala based HDL

lz1. C program to compress and uncompress using the lz77 algorithm.

hpack. hpack: A modern format for Haskell packages

intro. Safe and minimal Haskell Prelude

protolude. A sensible starting Prelude template.

haskell-jsontools. A collection of commandline tools for working with json data.

OLINUXINO. OLINUXINO is Open Source / Open Hardware, low cost from EUR 24 Linux Industrial grade Single Board Computer capable to operate -25+85C

panic. Common Lisp (Parenscript) library for React

cl-fs-watcher. Simple Filesystem Watcher based on cl-async

sxc. sxc is an 'S-Expression C' transpiler for generating C code using macros written in Common Lisp

english-script. 🖊 Ｅｎｇｌｉｓｈ as a programming language

deskulu. Opensource helpdesk and ticketing system by Taskulu

codebox. Open source cloud & desktop IDE

streaming-network-tcp-examples. simple illustrations of networking with streaming-bytestring and streaming.

pure11. A small strongly typed language that compiles to C++11

monad-challenges. A set of challenges for jump starting your understanding of monads.

ddc. The Disco Discus Compiler

megaparsec. Industrial-strength monadic parser combinator library

pykwalify. Python YAML/JSON schema validation library

y2j. A command line tool for converting between YAML and JSON and vice versa.

yq. Pure Python implementation of a subset of the features of jq for YAML documents

auto. Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto

vxi11. C

gpibusb-firmware. PIC firmware for GPIBUSB

gpibusb-firmware-arm. GPIB to USB adapter firmware for a Cortex M0 ARM microcontroller

InstrumentKit. Python package for interacting with laboratory equipment over various buses.

lamdu. lamdu - towards the next generation IDE

pyvivado. Python tools for Vivado Projects

haskell-uno-binding. Haskell binding to the LibreOffice UNO Framework

subhask. Type safe interface for working in subcategories of Hask

repl. Public friendly Haskell REPL

ghc-server. A server interface to GHC.

nixpkgs. Nix Packages collection

Balsa-AES-Core. Asynchronous AES core written using the Balsa hardware description language

haskell-trace. Add tracing to modules.

god-mode. Minor mode for God-like command entering

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

learnhaskell. Learn Haskell

Polycode. Polycode is a cross-platform framework for creative code.

dotfiles. Vim Script

luanti. Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation

lldb.nvim. No longer maintained. Possible alternative: https://github.com/rcarriga/nvim-dap-ui

elm-dash-docset. Elm docset generator for http://kapeli.com/dash

inline-c-cpp. Haskell

inline-c. Haskell

Parsimonious.jl. A PEG parser generator for Julia

snake. Full Python Scripting in Vim

Haskell-Morte-Library. A bare-bones calculus-of-constructions

Haskell-Annah-Library. Distributed programming language that desugars to Morte

purescript-native. A native compiler backend for PureScript (via C++ or Golang)

compiler. Compiler for Elm, a functional language for reliable webapps.

purescript. A strongly-typed language that compiles to JavaScript

bindings-generator. JSBindings generator for C++

lambdaconf-2015. Materials for my LambdaConf 2015 Workshop

SystemImageBuilder.jl. Easier pre-compilation of code using userimg.jl (deprecated)

haskell-vim-now. One-line Haskell Vim install

record. Anonymous records

glossolalia. glossolalia is a parser combinator. mmhmm

Urhonimo. Nim wrapper for Urho3D

mypy. Optional static typing for Python

hy. A dialect of Lisp that's embedded in Python

CppSharp. Tools and libraries to glue C/C++ APIs to high-level languages

pygmalion. A code analysis tool based on libclang

fltkc. fltkc

LibClang. Haskell FFI to libclang

c2ffi. Clang-based FFI wrapper generator

Rusthon. multi-lang transpiler, compiler frontend.

felix. The Felix Programming Language

ftl. C++ template library for fans of functional programming

cplusplus-th. C++ Foreign Import Generation

fltkhs. Haskell bindings to FLTK GUI toolkit.

fficxx. Haskell-C++ Foreign Function Interface Generator

haskell-vim. Custom Haskell Vimscripts

descriptive. Self-describing consumers/parsers

deoplete.nvim. :stars: Dark powered asynchronous completion framework for neovim/Vim8

vim-plug. :hibiscus: Minimalist Vim Plugin Manager

vim2hs. vim2hs :: Vim -> Haskell

nvim-hs. Neovim API for Haskell plugins as well as the plugin provider

neomake. Asynchronous linting and make framework for Neovim/Vim

legacy-linuxbrew. :skull: This repository is defunct, because it has been split into https://github.com/Linuxbrew/brew and https://github.com/Linuxbrew/homebrew-core

git-lfs. Git extension for versioning large files

neovim. Vim-fork focused on extensibility and usability

audacity. Audio Editor

lucida. Speech and Vision Based Intelligent Personal Assistant

cpp-ffi-example. Haskell C++ FFI example

Frames. Data frames for tabular data.

emacs.d. Org-based emacs.d (with Pallet and req-package goodness)

emacs-haskell-tutorial. Tutorial on setting up Emacs to do Haskell programming

syntax. Reversible parsing and pretty-printing.

ATS-Postiats. ATS2: Unleashing the Potentials of Types and Templates

ChaiScript. Embedded Scripting Language Designed for C++

kansas-lava. Kansas Lava

lambda-ccc. Convert lambda expressions to CCC combinators

hydra. Fork of Hydra source

hawk. Haskell for Microprocessor Specifications

Idris-dev. A Dependently Typed Functional Programming Language

CurryDB. CurryDB: Simple, Polymorphic, Persistent, Transactional, In-memory Key/Value Database

haskell-in-the-large. A book about large-scale design in Haskell

monadic-frp. Code accompanying the paper "Monadic Functional Reactive Programming"

ftdi. A thin layer over USB to communicate with FTDI chips

sump. A Haskell interface to SUMP-compatible logic analyzers

IHaskell. A Haskell kernel for the Jupyter project.

intellij-haskforce. Haskell plugin for IntelliJ IDEA

hindent. Haskell pretty printer

text. Haskell library for space- and time-efficient operations over Unicode text.

higher-leveldb. Haskell library that provides a rich monadic API on top of leveldb-haskell. Includes a simple but flexible scan/map/reduce mechanism as well as a monad transformer that manages the database context for you.

cereal-text. Data.Text instances for Cereal serialization

leksah. Haskell IDE

haskell-style-guide. A style guide for Haskell code.

stanford-cs240h. Course materials for Stanford CS240h, "Functional Systems in Haskell"

HaskellStarter. A project that demonstrates getting up and running with Haskell.

yaml-light. A light-weight Haskell wrapper with utility functions around HsSyck

neat-interpolation. A quasiquoter for neat and simple multiline text interpolation

base-prelude. The most complete prelude formed only from the "base" package

hspec. A Testing Framework for Haskell

notes. Haskell

haddocset. Generate docset of Dash by Haddock haskell documentation tool

intro_to_parsing. Introduction to parsing with Haskell and Parsec

serialport. Cross platform haskell library for using the serial port

signal. Functional Reactive Programming implementation for Rust

atom. Memory efficient Python objects

RxPY. ReactiveX for Python

clash-compiler. Haskell to VHDL/Verilog/SystemVerilog compiler

combinatorrent. A bittorrent client written in Haskell

verilog. A Verilog parser for Haskell.

vcd. A small library for generating VCD files.

bitcloud. Bitcloud Project

pako. high speed zlib port to javascript, works in browser & node.js

julia. The Julia Programming Language

meteor. Meteor, the JavaScript App Platform

ashiba. App building framework for Wakari and Anaconda.

syncthing. Open Source Continuous File Synchronization

bladeRF. bladeRF USB 3.0 Superspeed Software Defined Radio Source Code

Plotly.jl. A Julia wrapper for the plot.ly REST API

libsupport. a library of useful C utilities

Datetime.jl. A Date and DateTime implementation for Julia; Now deprecated in favor of https://github.com/quinnj/Dates.jl

exercises-in-programming-style. Comprehensive collection of programming styles using a simple computational task, term frequency

parsimonious. The fastest pure-Python PEG parser I can muster

Gadfly.jl. Crafty statistical graphics for Julia.

mpldatacursor. Interactive "data cursors" (a.k.a. annotation pop-ups) for matplotlib

vincent. A Python to Vega translator

Amethyst. Automatic tiling window manager for macOS à la xmonad.

xnomad. A tiling window manager for OS X, written in tranquil.

ggpy. ggplot port for python

conda. A system-level, binary package and environment manager running on all major operating systems and platforms.

bantam. A simple demo app for Pratt parsing

bitscan. A compact C library for operating (scanning, matching, formatting and etc.) bitstrings.

BitArray. C bit array structs and methods

ufo. Portable distribution of LuaJIT with precompiled binaries, libraries and FFI bindings

commander. Commander option parser ported to C - simple API, auto-generated --help

python-patterns. A collection of design patterns/idioms in Python

macropy. Macros in Python: quasiquotes, case classes, LINQ and more!

python-mode. Vim python-mode. PyLint, Rope, Pydoc, breakpoints from box.

JSONStream. JSONStream is python library that enables parsing distinct JSON objects from an input stream

dpath-python. A python library for accessing and searching dictionaries via /slashed/paths ala xpath.

ijson. Iterative JSON parser with Pythonic interface

bprinter. Pretty printer for command line programs

pythonect. A general-purpose dataflow programming language based on Python, written in Python

codetalker. A succinct, pythonic parser + translator solution

plyplus. a friendly yet powerful LR-parser written in Python

CoffeeScriptRedux. :sweat: rewrite of the CoffeeScript compiler with proper compiler design principles and a focus on robustness and extensibility

parsley. Python

ilua. Interactive Lua

bower. A package manager for the web

antikc. Semiconductor Tester Stuff -- Especially 93k, 93000 -- HP, Agilent, Verigy, Advantest

disruptorC. LMAX's disruptor pattern implemented in C

try_git.

nixpkgs. Nix Packages collection

gollum-vimwiki. Tutorial for setting up Vimwiki with Gollum

nixpkgs. Nix Packages collection & NixOS

pystdf. Python module for working with STDF files

zeromq2-1. ØMQ/2.1 distribution

libzmq. ØMQ libzmq core library -- development trunk

kitenet-mr. The mr(1) command can checkout, update, or perform other actions on a set of repositories as if they were one combined respository. It supports any combination of subversion, git, cvs, mercurial, bzr, darcs, cvs, and fossil repositories, and support for other revision control systems can easily be added. (There are extensions adding support for unison and git-svn.)

homebrew. The missing package manager for OS X.

pyntk. Python Tools and Libraries for 93k 93000 SOC Tester

zeromq2-x. ØMQ/2.x distribution

qupzilla. Cross-platform Qt web browser

vimwiki. Personal Wiki for Vim

Nim. Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

urwid. Console user interface library for Python (official repo)