Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by dunnl
A curated list of projects in awesome lists by dunnl .
https://github.com/dunnl/tealeaves
A Coq library for abstract syntactical reasoning
Last synced: 10 Oct 2024
https://github.com/dunnl/tealeaves-frontend
A Haskell frontend for Tealeaves
Last synced: 15 Jan 2025
https://github.com/dunnl/pikzy
A Ruby script to convert TikZ files into images
Last synced: 15 Jan 2025
https://github.com/dunnl/cis6700-final-pres
Final presentation for CIS6700 Spring 2024
Last synced: 15 Jan 2025
https://github.com/dunnl/tealeaves-art
Generating Tealeaves art with Haskell's diagrams package
Last synced: 15 Jan 2025
https://github.com/dunnl/nena-openapi-docs
HTML documentation for the OpenAPI specifications published by the National Emergency Number Association
Last synced: 19 Dec 2024
https://github.com/dunnl/distributed-systems-art
Haskell diagrams-based Jupyter notebook containing images for a paper
Last synced: 15 Jan 2025
https://github.com/dunnl/rewrite-live
Final project for UPenn Fall 2022 CIS7000-001
Last synced: 15 Jan 2025
https://github.com/dunnl/nixos-at-upenn
NixOS modules necessary for Penn life
Last synced: 15 Jan 2025