Skip to content
View kindaro's full-sized avatar
23 followers · 224 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report kindaro

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

  • description-lists Public

    Description Lists for Obsidian

    TypeScript Updated Aug 11, 2024

  • trickle Public

    trickle — a handheld BitTorrent tracker diagnostic tool

    Haskell 1 Updated May 13, 2024

  • text Public

    Forked from haskell/text

    Haskell library for space- and time-efficient operations over Unicode text.

    Haskell BSD 2-Clause "Simplified" License Updated Apr 16, 2024

  • cabal-prettify Public

    Haskell 10 1 Updated Apr 11, 2024

  • vector Public

    Forked from haskell/vector

    An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

    Haskell Other Updated Jan 25, 2024

  • release Public

    Generate a GitHub workflow that automatically makes releases for your Haskell project.

    Shell Updated Sep 13, 2023

  • learning-temporal-logic Public

    Here be exercises from «Specifying Systems», «Practical TLA+», and attemts at my own algorithm ideas.

    TLA Updated Aug 6, 2023

  • blockchain-examples Public

    JavaScript Updated Aug 2, 2023

  • purescript-fancy-overlap Public

    Fancy overlapping instances in PureScript.

    PureScript Updated Jul 19, 2023

  • purescript-pux Public

    Forked from uffizio/purescript-pux

    A PureScript interface to React.

    PureScript Other Updated Jul 9, 2023

  • tongues Public

    Haskell Updated Jun 24, 2023

  • fancy Public

    A predule for Fancy Haskell.

    Haskell Updated May 25, 2023

  • tiny-games-hs Public

    Forked from haskell-game/tiny-games-hs

    Rules for & examples of tiny haskell games

    Haskell Updated Feb 28, 2023

  • fourmolu Public

    Forked from fourmolu/fourmolu

    A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

    Haskell Other Updated Nov 8, 2022

  • bespoke Public

    I shall guess the types of columns in your CSV file and output Haskell code tailored to work with it.

    Haskell Updated Oct 8, 2022

  • rubik Public

    Solving the Rubik cube.

    Haskell Updated Sep 27, 2022

  • agda-nice-base Public

    Agda Updated Sep 14, 2022

  • learning-agda Public

    Agda Updated Sep 14, 2022

  • xgrep Public

    Cut through your XML with CSS selectors!

    Haskell 3 ISC License Updated Sep 6, 2022

  • selectors Public

    Forked from rcallahan/selectors

    CSS selector axes for XML DOM in Haskell

    Haskell Other Updated Sep 6, 2022

  • ghci-pretty Public

    Forked from larskuhtz/ghci-pretty

    tiny hack for colored pretty-printing within ghci

    Haskell MIT License Updated Sep 4, 2022

  • arithmetics Public

    An exercise in arithmetics.

    Haskell Updated Jun 22, 2022

  • finance Public

    Haskell Updated Jun 13, 2022

  • Graphalyze Public

    Forked from ivan-m/Graphalyze

    Graph-Theoretic Analysis library

    Haskell 1 BSD 2-Clause "Simplified" License Updated May 29, 2022

  • SourceGraph Public

    Forked from ivan-m/SourceGraph

    Static code analysis using graph-theoretic techniques

    Haskell 1 1 GNU General Public License v3.0 Updated May 29, 2022

  • frp-zoo Public

    Forked from gelisam/frp-zoo

    Comparing many FRP implementations by reimplementing the same toy app in each.

    Haskell Updated Apr 2, 2022

  • pixels Public

    Trying stuff with SDL.

    Haskell Updated Apr 1, 2022

  • llvm-hs Public

    Forked from llvm-hs/llvm-hs

    Haskell bindings for LLVM

    LLVM Updated Mar 17, 2022

  • ghc-proposals Public

    Forked from ghc-proposals/ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell

    Python Updated Mar 3, 2022

  • text-display Public

    Forked from haskell-text/text-display

    A Typeclass for user-facing output

    Haskell MIT License Updated Feb 6, 2022