imuli Goto Github PK

icestudio

:snowflake: Experimental graphic editor for open FPGAs.

idris-codegen-es

Optimized JS codegen for Idris

idris-dev

A Dependently Typed Functional Programming Language

idris-jvm

JVM bytecode backend for Idris

indexed-bitraversable

BitraversableWithIndex for Haskell

javascript

javascript snippets

joint

JavaScript diagramming library

kyllini

The kyllini compiler for the Ziria language.

librune

UTF8 handling library inspired by Plan 9's libutf.

lockout

Android app to prevent your device from unlocking during a specified time of the day.

loquacious

overridable pretty printing for verbose messages

loquate

Locale-Sensitive Pretty Printer

metaversation

mix

hacked together fast builds for haskell executables

mupi-fusebox

16-circuit fused power distribution board with anderson powerpoles

mux

Pipe Multiplexing fileserver for fuse

newline

copy interactively edited lines to stdout

nixpkgs

Nix Packages collection

pack

sensible compression tool

pay-thank-hope

as-yet-unnamed payment darknet

php-parser

A Parser for PHP written in Go

polyfixed

polymorphic fixed point arithemtic in haskell

polytime

polymorphic time queries and arithmetic

prompt

consistent line editing for terminals

re-dected

tools for playing with DECT

rust.vim

Vim configuration for Rust.

safecopy

An extension to Data.Serialize with built-in version control

semantic-php

SemanticMerge parser for PHP

serenity

plans, designs, and considerations for travelling housing

skill

the real world skill tree / directed acyclic graph