dunhamsteve/newt

Stars
1
Language Idris
License
The Unlicense
Created about 2 years ago
Updated 26 days ago

dunhamsteve/newt

dunhamsteve

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A toy dependent typed language.

notesutils

Utilities for extracting notes from Notes.app. This repository is lightly maintained and mainly exists to serve as documentation and starting point for your own scripts.

ios

Utility to extract files and keychain information from iOS backups

iwork

Code to convert pages files to HTML

nutrition-data

Code to create a sqlite db from USDA nutrition database

tana-stuff

framework2proto

Extracts protobuf definitions from OSX frameworks

plist

binary plist read/write implemented in Go

aoc2021

Advent of Code 2021 in Idris (amateur hour)

pi-forall-vscode

Syntax highlighting for pi-forall

shop

A simple go program to update a "ShopShop" shopping list