Discover chessai/hsdatalog Open Source project by @chessai

Stars
33
Rank 783,877 (Top 16 %)
Language
Haskell
License
Other
Created over 4 years ago
Updated almost 2 years ago

chessai

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

BDD-based implementation of Datalog

theseus

theseus, functional programming language with fully reversible computation

Haskell

111

nix-std

no-nixpkgs standard library for the nix expression language

Nix

102

semirings

semirings and *-semirings of types in base/haskell-platform

Haskell

pump

reverse dependency build matrix generator

Haskell

shwifty

DEPRECATED: use https://github.com/MercuryTechnologies/moat

Haskell

eigen

Haskell bindings to the Eigen C++ library

C++

nixos-configs

my nixos configs

Nix

streaming-fft

sliding fast fourier transform using haskell streaming

Haskell

ring-buffers

concurrent mutable ring buffers with atomic updates in GHC Haskell

Haskell

patience

Patience diff and longest increasing subsequence

Haskell

string

DEPRECATED: `text` is now UTF-8: https://github.com/haskell/text

Haskell

vector-circular

cycling vectors with O(1) rotation and O(1), total access

Haskell

freq

frequency analysis tool in Haskell

Haskell

haskell-library-picker

domain-based library choice assistant for Haskell

nike

nixos remote installation via `justdoit`

Nix

emmy

custom event manager in ghc haskell

Haskell

st2

ST2 monad as described in the functional pearl "Ghosts of Departed Proofs"

Haskell

diet

discrete interval encoding trees (DIETs) - deprecated in favour of https://github.com/andrewthad/primitive-containers/tree/master/src-diet-map-indef

SMT

we-tha-best-slack

DJ Khaled SlackBot

Haskell

these-skinny

clone of haskell 'these' package without the dependency bloat

Haskell

silvi

Haskell library for generating fake data.

Haskell

hedgehog-generic

GHC Generics automatically derived hedgehog generators

Haskell

lacroix

crack open a cold one with the boys

Haskell

knuckles

generate typeclass test suites using hedgehog-classes and ghc-api

Haskell

grab

fetch hash information for nixpkgs from github repos

Haskell

yi-chessai

my yi configuration

Haskell

bytestring-substring-old

break ByteStrings up into substrings

Haskell

simd

GHC Haskell NCG SIMD library (non-portable)

unpacked-either

wizard

acme-cuteboy

maybe gives you a cute boy.

Haskell

rose

rose trees

Haskell

dyna

haskell growable vector library

Haskell

std

Haskell

cfr

A Haskell implementation of Counterfactual Regret Minimization for poker

Haskell

plutus-flake-utils

a nix flake for plutus projects

Nix

TicTacToe

TicTacToe (Naughts and Crosses) implementation to learn Haskell

Haskell

ghcWithPackages cmdline util

Haskell

acme-npm

the heart and soul of web development

Haskell

commandline calculator

Haskell

streaming-lz78

Haskell

kafka

Nix

disjoint-sets

Haskell Disjoint Sets (Union Find) Library

Haskell

bytestring-substring

See README for more info

Haskell

chessai

cmf

concurrent (commutative) monoidal folds

Haskell

always

a typeclass that is satisfied by all types, always

Haskell

union-find

rust union find (disjoint sets) library

Rust

morse

Haskell

pong

GHC Haskell command-line ping utility

poketext

hs-onesixtyone

levity

levity-polymorphic versions of typeclasses in Haskell's `base` library

Haskell

contiguous-mmap

memory map contiguous data structures

Haskell

asn

Haskell

cool

Haskell

useless

useless: random haskell thoughts, either mine or collected from elsewhere

Haskell

contiguous-bogo

package i wrote to annoy @andrewthad

Haskell

reflex-mono

monomorphised reflex

Haskell

rtq

purely functional real time queues in haskell

Haskell

kittypath

typesafe bytestring-based path library with a simpler/"user-friendly" api

Haskell

nvim-configs

Lua

1password-beta-nix

nix expression to test out the 1password beta (linux only)

Nix

unpacked-validation

Haskell

poke-type

pokemon type that maintains the invariant of type uniqueness per pokemon

Haskell

nom

bytearray parser combinators

Haskell

nonempty

lift potentially empty structures to one guaranteed to be nonempty

Haskell

generics-bench

generate modules to benchmark generics deriving

Haskell

openconnect convenience wrapper for globalprotect protocol

Nix

vellian

fibonacci algebra

Haskell

initialize

initializing and deinitializing unmanaged memory of recursive structures

Haskell

bytestring-twiddle

bit-twiddling optimisations on bytestrings

Haskell

See README for more info

Haskell

uuid-uhm

don't use this

Haskell

fractran

[FR]eaking [A]wful [C]rappy fractran interpreter

jabber-jaw

xmlbf

soylent

toposort

coerce-util

some utilities for Data.Coerce and some newtype utilities

Haskell

aks

AKS primality test in haskell

Haskell

bazd

Haskell

oxyclean

uses fsnotify to call cargo check on rust projects

Nix

us-weather-history

us weather history data

dependent-map-aeson

aeson instance for dependent-map-Data.Dependent.Map.DMap

Haskell

rstream

vector stream-fusion framework as a package (playground)

Haskell

hjd

hydra jobset configuration diff tool

hadamard

simple-fft

dame

bitarray

bitarray supporting efficient writes/reads

Haskell

multihash

Haskell

chessai-summoner

See README for more info

Haskell

yaml-with-cabal-file

don't use this. needed for fetchFromGitHub

Haskell

qsem

simple and general quantity semaphores in ghc haskell

Haskell

pktparse

haskell port of rust's pktparse

Haskell

vflow-types

types for https://github.com/VerizonDigital/vflow

Haskell

hedgehog-classes-old

Haskell

Haskell implementation of the Logical Rules of Go

afpg

chessai/hsdatalog

chessai

Reviews

Repository Details

More Repositories