Skip to content
View DanBurton's full-sized avatar

Block or report DanBurton

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

AlgoSigner is an open source Algorand wallet extension that makes it easier than ever to use ALGOs for payment, investing, or swapping assets. Available in the Chrome Web Store.

TypeScript 92 58 Updated Mar 31, 2023

Solidity, the Smart Contract Programming Language

C++ 23,191 5,749 Updated Oct 16, 2024

Set up a GHC API session for various Haskell Projects

Haskell 180 62 Updated Oct 15, 2024

Liquid Types For Haskell

Haskell 1,192 137 Updated Oct 16, 2024

A different golden testing provider for tasty.

Haskell 4 1 Updated Sep 23, 2020
Haskell 75 12 Updated Oct 4, 2022

🕵️ Haskell STatic ANalyser

Haskell 566 48 Updated Oct 6, 2024

Reach: The Safest and Smartest DApp Programming Language

Haskell 583 167 Updated Sep 11, 2023

Operation Vanguard: fixing a number of Haskell packages at once

Haskell 11 Updated Jul 28, 2019

A simple formatter for Nix using tree-sitter-nix.

Nix 46 5 Updated Nov 5, 2019

Your project's nix-env

Rust 993 69 Updated Jun 17, 2022

ShellCheck, a static analysis tool for shell scripts

Haskell 36,288 1,771 Updated Sep 8, 2024

Compiling to Categories

Haskell 436 50 Updated Feb 28, 2024

Moved to Codeberg; this is a convenience mirror

Clojure 7,292 1,605 Updated Sep 16, 2024

Minor mode for God-like command entering

Emacs Lisp 858 51 Updated Sep 26, 2024

Structured editing minor mode for Haskell in Emacs

Emacs Lisp 541 38 Updated Feb 22, 2019

A somewhat different approach to cabal hell problem.

Haskell 24 3 Updated Sep 27, 2012

A pull-based approach to streaming data.

Haskell 1 Updated Aug 3, 2012

Yet another spin on pipes

Haskell 2 Updated Aug 1, 2012

A new prelude with first-class modules

Haskell 10 Updated Aug 27, 2012

Template Haskell to generate lenses for lens-family and lens-family-core

Haskell 7 4 Updated Jan 16, 2024

Lenses with polymorphic update

Haskell 4 Updated Jul 9, 2012
Haskell 110 5 Updated Jan 22, 2024
Haskell 2 Updated May 25, 2012

A lazy non-deterministic concatenative programming language

Haskell 55 3 Updated Aug 3, 2013

The Racket repository

Racket 1 Updated Jul 25, 2012

System F implemented in Haskell

Haskell 24 3 Updated Mar 15, 2012

Emacs mode for Haskell

Emacs Lisp 1,329 342 Updated Oct 7, 2024

A library for manipulating the Hype language's AST

Haskell 2 Updated Mar 4, 2012

Memoize IO actions

Haskell 9 1 Updated Jul 8, 2021
Next