0xd34df00d/counting-chars-ghc-simd

Stars
1
Language
Haskell
License
BSD 3-Clause "New...
Created almost 5 years ago
Updated over 4 years ago

0xd34df00d/counting-chars-ghc-simd

0xd34df00d

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

What would GHC SIMD primops allow me to do?

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

idris2-indexed-vect

Indexed vectors for Idris!

lcsynctest

Simple client for LC sync stuff.

reading-programming-in-mltt

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

hrt

regex-memo-lat

pgidr

PostgreSQL Idris bindings

naive-nfa-runner