0xd34df00d/idris2-indexed-vect

Stars
1
Language Idris
Created over 1 year ago
Updated over 1 year ago

0xd34df00d/idris2-indexed-vect

0xd34df00d

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Indexed vectors for Idris!

leechcraft

LeechCraft is a free open source cross-platform modular internet-client. LeechCraft allows to browse the web, read RSS/Atom feeds, download files via BitTorrent, FTP, HTTP and DC, automatically download, play or stream podcasts (and other media files) and much more.

refinedt

Refinement types + dependent types = ❤️

IAmMad

Inlining Automagical Metaprogramming Analytical Differentiation

inline-asm

Inline Assembly code in ur Haskell!

fizzbuzz-i

FizzBuzz, formally verified, provably correct

hwc

wc implemented in Haskell

you-dont-know-cpp

You don't know C++

coformat

Produce a clang-format file from some sample source code

hsqoi

Haskell implementation of the QOI image format

can-i-haz

Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError

necogda

Agda for neovim

lcss

Web site for LC

cohabr

Qross

Qross is a Qt-only fork of Kross, the KDE scripting framework, for the LeechCraft project

binary-generic-combinators

Combinators and utilities to make Generic-based deriving of Binary easier and more expressive

sorts

Provably correct merge sort

cppfilt

Haskell library to demangle C++ function names

edit-distance-linear

Levenshtein edit distance in linear memory (also turns out to be faster than C++)

lc-sync-server

Synchronization server for the LeechCraft project.

cmake-syntax

A library for parsing CMake syntax

hastefm

Fetch some additional artist info from Last.FM (as a part of LC)

counting-chars

Small and stupid benchmarking of ways of counting a char in a big string

monad-metrics-extensible

Type-safe and extensible metrics monad over ekg

enum-subset-generate

Generate an ADT with a subset of constructors of another ADT, along with mapping functions

gennl

Generating non-linear autoregression models

lcupackages

Userspace packages for LeechCraft — script extensions, themes, data and stuff.

hencil

Pencil falling simulated.

muzak

Free as in "free monads"

morlock

Monadic lock-free algorithms representation and analysis

lcsynctest

Simple client for LC sync stuff.

reading-programming-in-mltt

Notes for the "Programming in Martin-Löf's Type Theory" book

counting-chars-ghc-simd

What would GHC SIMD primops allow me to do?

hrt

regex-memo-lat

pgidr

PostgreSQL Idris bindings

naive-nfa-runner