Daniel Díaz Carrete (danidiaz)

danidiaz

Geek Repo

Company:Artificial Labs

Location:A Coruña, Spain

Twitter:@DiazCarrete

Github PK Tool:Github PK Tool

Daniel Díaz Carrete's repositories

red-black-record

Extensible records and variants indexed by a type-level Red-Black tree.

Language:HaskellLicense:BSD-3-ClauseStargazers:18Issues:3Issues:23

conceit

Concurrently + Either

Language:HaskellLicense:BSD-3-ClauseStargazers:8Issues:4Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:8Issues:4Issues:7

lens-aeson-examples

Examples for lens-aeson

Language:HaskellLicense:MITStargazers:8Issues:3Issues:3

jet-stream

Oh dear, yet another streaming library.

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

streaming-bracketed

Resource management for the "streaming" library.

Language:HaskellLicense:MITStargazers:3Issues:4Issues:6

lenteja

Exploring a Haskell data structure using lens-like expressions entered at runtime.

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

async

Run IO operations asynchronously and wait for their results

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

backpack-intermediate

an example of how Backpack module signatures are carried implicitly by intermediate "indefinite" packages

Language:HaskellStargazers:0Issues:0Issues:0

bad-on-purpose

A sandbox for playing with CodeQL

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

chartilicious

playing with JFreeChart

Language:JavaStargazers:0Issues:2Issues:0

compact-sequences

Stacks and queues with compact representations

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

ferruxe

Trying to learn Rust

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

Haskell-Foldl-Library

Composable, streaming, and efficient left folds

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

loadable-singletons

Singleton types whose values are loaded on demand.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:ClojureStargazers:0Issues:1Issues:0

orphans

experiments with orphan instances and Backpack

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
Language:JavaLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

snack

Nix-based incremental build tool for Haskell projects

Stargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:2Issues:0

streaming

An optimized general monad transformer for streaming applications, with a simple prelude of functions

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

streaming-benchmarks

comparing the performance of Streams from "streaming" and ByteStrings from "streaming-bytestring"

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

streaming-chunked

Working with streams of packed data

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

swarm

Resource gathering + programming game

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

triviallanguage

An even simpler version of Graal/Truffle's SimpleLanguage

Language:JavaLicense:UPL-1.0Stargazers:0Issues:0Issues:0

vim-haskell-pica-filetypes

Vim filetype detection for some Haskell file types.

Language:Vim ScriptLicense:BSD-3-ClauseStargazers:0Issues:3Issues:6

vim-ilist-redir

A command modifier for putting the results of :ilist and :dlist in the Quickfix/Location lists

Language:Vim scriptLicense:MITStargazers:0Issues:0Issues:0