Skip to content
View Danten's full-sized avatar
17 followers · 4 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@crypto-agda @demtech

Block or report Danten

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

  • serenity Public

    Forked from SerenityOS/serenity

    The Serenity Operating System 🐞

    C++ BSD 2-Clause "Simplified" License Updated May 24, 2020

  • jumpcutter Public

    Forked from carykh/jumpcutter

    Automatically edits vidx. Explanation here: https://www.youtube.com/watch?v=DQ8orIurGxw

    Python MIT License Updated Jun 20, 2019

  • medea Public

    Haskell 2 BSD 3-Clause "New" or "Revised" License Updated Oct 30, 2017

  • sixten Public

    Forked from ollef/sixten

    Functional programming with fewer indirections

    Haskell BSD 3-Clause "New" or "Revised" License Updated Oct 22, 2017

  • test-servant Public

    Haskell BSD 3-Clause "New" or "Revised" License Updated Oct 18, 2017

  • lejf Public

    An experimental functional programming language based on LJF (Focused Intuitionistic Sequent Calculus), were types ar split up into two kinds. The positives are values and the negatives are code.

    Haskell 2 BSD 3-Clause "New" or "Revised" License Updated Oct 23, 2016

  • ling Public

    Forked from np/ling

    LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

    Haskell BSD 3-Clause "New" or "Revised" License Updated May 18, 2016

  • xcompose Public

    Forked from np/xcompose

    XCompose configuration file and its generator

    Haskell Updated May 9, 2016

  • Pacman Public

    Pacman

    JavaScript 1 Updated Jun 5, 2015

  • agda Public

    Forked from mason-stewart/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell Other Updated Oct 22, 2014

  • hasquail Public

    Forked from np/hasquail

    Quail in Haskell

    Haskell Updated Jun 27, 2013

  • SmardEdit Public

    Fopl project - Smart Editor

    Haskell 2 Updated Apr 16, 2010