Danny Navarro's repositories

graphql-haskell

Haskell GraphQL implementation

Language:HaskellLicense:BSD-3-ClauseStargazers:168Issues:7Issues:7

dotfiles

My configuration files

Language:Emacs LispLicense:UnlicenseStargazers:4Issues:1Issues:1

smallcheck-series

Orphan Series/CoSeries instances for common types

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:2Issues:11

charlatan

Self-hosted podcast web application

Language:RustLicense:MITStargazers:1Issues:1Issues:11

tasty-laws

Tasty test runners for checking common laws

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:2Issues:4

archetype

Archetype IDL

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

axum

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

Language:RustStargazers:0Issues:0Issues:0

book

The Rust Programming Language

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

carbon-components-svelte

Svelte implementation of the Carbon Design System

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:9

codex

A ctags file generator for cabal/stack project dependencies.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

doom-emacs

An Emacs configuration for the stubborn martian vimmer

Language:Emacs LispLicense:MITStargazers:0Issues:1Issues:0

flycheck

On the fly syntax checking for GNU Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

flycheck-haskell

Improved Haskell support for Flycheck

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:1Issues:0

gem

prototype postgres back-end for ocs

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

im-rs

Assorted immutable collection datatypes for Rust

Language:RustLicense:MPL-2.0Stargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:1Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

kmonad

An advanced keyboard manager

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

kustomize

Customization of kubernetes YAML configurations

Language:GoLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

maven-repo

Gemini's public Maven repository

Stargazers:0Issues:1Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ocs

Observatory Control Software

Language:JavaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

reseter.css

Reseter.css - A Futuristic Alternative To Normalize.css And CSS Resets

License:MITStargazers:0Issues:0Issues:0

robot

🤖 A functional, immutable Finite State Machine library

Language:JavaScriptLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

Rocket

A web framework for Rust.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

starship

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

Language:RustLicense:ISCStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

topgrade

Upgrade everything

Language:RustLicense:GPL-3.0Stargazers:0Issues:0Issues:0