chobbes Goto Github PK

helm-projectile

Helm UI for Projectile

hiccup

Hiccup is a small C-style language which exists entirely to play with compiler tools and nothing more.

hipster

A Haskell MIPS EDSL. Mostly for "educational purposes" (TM). More seriously the goal of this is to explore assembly DSLs in Haskell, and see how they're put together and what makes them tick. Can these be useful? Probably! One of the main goals is to allow for composable abstractions of assembly code, and automatic register allocation / spilling. In theory this could be more general and support multiple backends (after all there is overlap with LLVM's functionality), but an additional goal is to be able to generate readable, and documented assembly code. Because of this, it's beneficial to stick to one target assembly language, at least for experimentation!

httpd

OpenBSD httpd

hubgen

This is a simple little C program that uses the MuxParse library to parse a ".mux" file which describes a pin mapping on an Arduino (essentially tells you what inputs should be redirected to what outputs), and then using the information from the ".mux" file generates an Arduino C++ program which uses the MuxDuino library to make the Arduino actually redirect inputs and outputs as specified in the file!

hush

Mix and play peaceful sounds to keep yourself happy and productive.

icfp-captioning

icfp-captioning-2023

idris-dev

A Dependently Typed Functional Programming Language

idris-llvm

Idris LLVM codegen factored out

idros

An OS written in Idris (eventually...)

implicitcad

A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...

impmutate

Convert files to the MTLR format.

interactiontrees

Formalization of the Interaction Tree Datatype in Coq

ion

An Ivory library inspired by Atom

juicy.pixels

Haskell library to load & save pictures

lambdabot

A friendly IRC bot and apprentice coder, written in Haskell.

lcdconvert

Convert images to the .lcd format (raw 16 byte colour values).

lued

luminance

Type-safe, type-level and stateless Haskell graphics framework

lunarlander

Lunar lander in Haskell.

mathform

Transform your maths into other maths! A Haskell library / utility for converting mathematical expressions between representations. For instance you might convert some LaTeX arithmetic to a format that can be plugged directly into Sage, Python, or Haskell.

mci-haskell

Modern Compiler Implementation in Haskell

melpa

Recipes and build machinery for the biggest Emacs package repo

ml-overlay

mooxtract

A simple Haskell program for extracting Moodle submissions.

multikill

Combine multiple imputation models for great justice.

muxduino

A library for turning an Arduino into a fancy pants multiplexing / routing machine! Redirect inputs to other output pins allowing you to connect a series of devices in a network of arbitrary topologies!

muxparse

A library for parsing .mux files -- these are files used to describe a network for an Arduino hub. Basically the files give a mapping of certain inputs to certain outputs on an Arduino.

ni-formal-gc

Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.