https://github.com/aztek/voogie

A verification conditions generator for Boogie programs

boogie haskell tptp vampire verification verification-conditions

Last synced: 01 Feb 2025

https://github.com/l29ah/9ptorrent

a bittorrent client with a filesystem interface

9p bittorrent hacktoberfest haskell

Last synced: 10 Feb 2025

https://github.com/peti/distribution-opensuse

Types, functions, and tools to manipulate the openSUSE distribution.

distribution haskell haskell-library

Last synced: 12 Oct 2024

https://github.com/composite-hs/composite

Integrations with Vinyl/Frames records.

aeson ekg haskell haskell-library opaleye vinyl

Last synced: 08 Nov 2024

https://github.com/minad/quickcheck-special

Edge cases and special values for QuickCheck Arbitrary instances

haskell quickcheck

Last synced: 13 Oct 2024

https://github.com/matt-snider/dict.cc

A command line interface tool for accessing dict.cc written in Haskell.

cli command-line dict english german haskell translation

Last synced: 07 Nov 2024

https://github.com/typeclasses/hex-text

Encode a ByteString as a hexidecimal Text value, or decode hexidecimal Text as a ByteString.

haskell haskell-library hexidecimal serialization text

Last synced: 20 Oct 2024

https://github.com/csabahruska/dsl-experiment

Basic implementation of Hindley-Milner Type System and variants.

functional-programming haskell hindley-milner parser type-checker

Last synced: 14 Oct 2024

https://github.com/minoki/lambdaquest

An implementation of System F, System Fsub (F_{<:}) and Finter (F_∧)

haskell lambda-calculus type-system

Last synced: 21 Jan 2025

https://github.com/obsidiansystems/daml-cucumber

Cucumber testing for daml scripts

cucumber daml gherkin haskell testing-tool

Last synced: 07 Nov 2024

https://github.com/s373r/course-haskell-stepic-functional-programming

λ "Functional programming in Haskell" course materials

course education gplv3 haskell stepic

Last synced: 29 Nov 2024

https://github.com/takenobu-hs/processor-creative-kit

haskell prrocessor-creative-kit

assembly cpu haskell

Last synced: 07 Nov 2024

https://github.com/domenkozar/servant-streaming-amazonka

haskell servant

Last synced: 11 Feb 2025

https://github.com/dmjio/trie

This Trie is so fly

data-structures fly haskell tree trie

Last synced: 16 Nov 2024

https://github.com/caiorss/zhserver

Haskell Webserver for Zotero reference manager - based on Zotero.

app application books document education haskell http papers reference rest search server zotero

Last synced: 02 Jan 2025

https://github.com/typeclasses/dsv

DSV (delimiter-separated values)

csv delimiter-separated-fields haskell haskell-library

Last synced: 05 Dec 2024

https://github.com/ix/notewell

A declaratively-built cross-platform Markdown editor written in Haskell.

cross-platform declarative-ui gfm gi-gtk github-flavored-markdown gtk haskell markdown

Last synced: 01 Nov 2024

https://github.com/joom/herbrand-prolog

A pseudo-Prolog that tries to answer queries by building the least Herbrand model.

haskell prolog pseudo-prolog

Last synced: 11 Jan 2025

https://github.com/kakkun61/either-result

The simplest ’MonadFail’ instance

hacktoberfest haskell

Last synced: 27 Oct 2024

https://github.com/l29ah/hyborg

WIP parallel borgbackup-compatible backup tool written in Haskell

backup borgbackup hacktoberfest haskell posix

Last synced: 10 Feb 2025

https://github.com/airsequel/oclis

The obvious CLI specification format. You define the spec, Oclis generates the code! Support for PureScript so far. PRs for more languages appreciated!

argparse cli cli-spec docopt elm haskell nickel optparse optparse-applicative polyglot purescript rust specification

Last synced: 12 Oct 2024

https://github.com/dylex/haskell-nfs

Haskell NFS libraries including ONC (Sun) RPC and NFSv4 Client

haskell nfs rpc webdav

Last synced: 23 Nov 2024

https://github.com/ixmatus/fswait

Wait and observe events on the filesystem for a path, with a timeout

command-line haskell

Last synced: 28 Oct 2024

https://github.com/evanrelf/haskell-template

Template for my Haskell + Nix projects

haskell nix template

Last synced: 28 Oct 2024

https://github.com/mbg/wai-saml2

WAI middleware implementing SAML2

haskell haskell-library saml-service-provider saml2

Last synced: 02 Nov 2024

https://github.com/bts/free-transformers

Experimenting with "free transformers" in Haskell

effects free free-monad haskell interpreter modularity onion-architecture

Last synced: 11 Oct 2024

https://github.com/typeclasses/options

Powerful and easy command-line option parser

command-line-parser haskell haskell-library

Last synced: 05 Dec 2024

https://github.com/fgaz/shine-varying

FRP interface for shine

frp graphics hacktoberfest haskell

Last synced: 14 Oct 2024

https://github.com/chris-martin/text-replace

Perform simple replacements in a text file, using a list of search/replace pairs

command-line-tool haskell haskell-application haskell-library text-processing

Last synced: 28 Oct 2024

https://github.com/dcastro/twenty48

An AI for the 2048 game using minimax and alpha-beta pruning, as described by John Hughes in the paper "Why Functional Programming Matters". The AI was written in Haskell and runs in a Yesod backend.

2048 docker haskell yesod

Last synced: 11 Oct 2024

https://github.com/taktoa/small-haskell

Small projects written in Haskell

experimental haskell

Last synced: 12 Oct 2024

https://github.com/adelsz/mnotify

Minimal D-Bus notification daemon

dbus freedesktop haskell notification x11 xmonad

Last synced: 08 Jan 2025

https://github.com/metric-space/hex-chessboard-generator

Hexagonal Chessboard Image Generator

diagrams haskell hexagonal-chessboard

Last synced: 07 Nov 2024

https://github.com/ony/yampa-glut

Yampa adapter for GLUT

frp glut haskell

Last synced: 14 Oct 2024

https://github.com/typeclasses/invert

Automatically generate a function’s inverse

functions haskell haskell-library

Last synced: 05 Dec 2024

https://github.com/jasonzhu1313/interactiveexpressionparser

This project focus on using functional programing to parse the expression, I use Haskell to develop an interactive expression parser using a lot of features of Haskell, you can use haskell compiler such as GHCI to run the program, Let's begin.

expression-evaluator functional-programming ghci haskell haskell-compiler interactive parse

Last synced: 27 Oct 2024

https://github.com/typeclasses/aws-cloudfront-signed-cookies

Generate signed cookies for AWS CloudFront

aws aws-cloudfront command-line-tool haskell haskell-application haskell-library rsa-signature

Last synced: 05 Dec 2024

https://github.com/tfausak/ratel-wai

:honey_pot: Notify Honeybadger about exceptions via a WAI middleware.

haskell

Last synced: 11 Oct 2024

https://github.com/mrkkrp/lame

A high-level Haskell binding to the LAME encoder

binding haskell lame

Last synced: 28 Oct 2024

https://github.com/prikhi/wai-middleware-clacks

Add An "X-Clacks-Overhead" Header To Wai Responses.

clacks discworld gnu-terry-pratchett haskell header middleware wai x-clacks-overhead

Last synced: 11 Oct 2024

https://github.com/dahlia/bencodex-haskell

Bencodex reader/writer for Haskell

bencode bencodex haskell

Last synced: 05 Jan 2025

https://github.com/prikhi/sleepanarchy

The PureScript Frontend & Haskell Backend That Powers the SleepAnarchy.com Blog

blog docker docker-compose haskell haskell-servant molokai purescript purescript-halogen website

Last synced: 11 Oct 2024

https://github.com/prikhi/build-run-watch

Library for Writing Scripts To Build, Run, & Watch Projects.

build-automation build-system build-tool haskell npm stack

Last synced: 11 Oct 2024

https://github.com/prikhi/bodyweight-server

A Haskell REST Server for a BodyWeight Workout Log Application.

bodyweight haskell routines

Last synced: 11 Oct 2024

https://github.com/prikhi/hkredmine

A Redmine CLI Client and API Library Written in Haskell.

cli haskell redmine redmine-cli-client

Last synced: 11 Oct 2024

https://github.com/foxhound-systems/hs-obfuscate

Library for easy obfuscation and deobfuscation of integer IDs in custom data types

hashids haskell obfuscation

Last synced: 24 Jan 2025

https://github.com/ento/worker-haskell-template

Wrangler template for a Cloudflare Workers + Haskell (Asterius) project

asterius cloudflare-workers haskell

Last synced: 15 Nov 2024

https://github.com/eggzilla/cmv

Visualize HMMs, CMs and their comparisons

bioinformatics covariance-model haskell hidden-markov-model protein protein-family rna rna-family visualisation

Last synced: 03 Nov 2024

https://github.com/futtetennista/serverlessvalidator

A validator for serverless.yml files written in Haskell

docker haskell serverless validator yml-files

Last synced: 27 Oct 2024

https://github.com/lettier/matrix-inverse-calculator

Input a square matrix and calculate its inverse if possible.

functional-programming haskell interactive javascript matrix-math purescript

Last synced: 30 Oct 2024

https://github.com/anton-latukha/haskell-programming-from-first-principles-exercises

Consists of QUALITY BELABORING of EVERY EXERCISE in the chapters {1-18,26} (~1400 pages) of the "Haskell book" ("Haskell Programming from First Principles"). With literate comments. Additionally notable for use of Nix for exercise projects.

haskell haskell-book haskell-from-first-principles haskell-nix learning-by-doing nix

Last synced: 14 Oct 2024

https://github.com/jonathas-conceicao/snake-haskell

A implementation of the Snake game made in Haskell using the gloss-game package.

game gloss gloss-game haskell pixel-art

Last synced: 06 Dec 2024

https://github.com/fumieval/word-compat

Compatibility shim for GHC's small integer primitives

haskell

Last synced: 15 Oct 2024

https://github.com/nydragon/glados-2023

A Scheme interpreter in Haskell.

haskell scheme scheme-interpreter

Last synced: 18 Oct 2024

https://github.com/athanclark/ws

A simple websocket CLI tool

command-line-tool haskell websocket-client

Last synced: 28 Dec 2024

https://github.com/zoedsoupe/curlit

Programming languages snippets for simple HTTP requests!

begginer-friendly elixir haskell http javascript nodejs python ruby

Last synced: 30 Oct 2024

https://github.com/romac/mental

🚧 Yet Another ML Dialect (WIP)

compiler haskell ml

Last synced: 06 Nov 2024

https://github.com/mstruebing/todo.hs

A terminal todo-list written in haskell

cli cli-app haskell todo todolist

Last synced: 20 Oct 2024

https://github.com/vaclavsvejcar/vcs-ignore

📜 Haskell library handling files ignored by VCS

git haskell haskell-library vcs

Last synced: 19 Oct 2024

https://github.com/kitlangton/eulerplate

A tool for generating Haskell boilerplate for solving Hacker Rank challenges.

hackerrank haskell

Last synced: 27 Oct 2024

https://github.com/matsubara0507/test-extensible

Haskell の extensible パッケージのテストリポジトリ

haskell test-framework

Last synced: 19 Oct 2024

https://github.com/kutyel/urlish

🔗 An URI shortener made with Redis and the Reader Monad!

haskell haskell-learning nix reader-monad redis uri-shortener url-shortener

Last synced: 17 Oct 2024

https://github.com/soficshift/ondim

Multitype expansions for easy templating

haskell heist html latex mustache pandoc template

Last synced: 14 Dec 2024

https://github.com/basvandijk/usb-example

Example how to use the usb library

example haskell usb

Last synced: 07 Nov 2024

https://github.com/turbolent/duckling-docker

Duckling as a Docker container

docker duckling haskell nlp

Last synced: 19 Oct 2024

https://github.com/agrafix/stripe-hs

Unofficial (and Incomplete) Stripe Haskell Bindings

haskell payments stripe stripe-api

Last synced: 12 Oct 2024

https://github.com/mrkkrp/plan-b

*DEPRECATED* Failure-tolerant file and directory editing for Haskell

file-system haskell

Last synced: 12 Oct 2024

https://github.com/qnikst/qnikst.github.com

My personal blog

blog hakyll haskell

Last synced: 20 Oct 2024

https://github.com/iamrecursion/absol

Formally correct DSLs

dissertation domain-specific-language dsl formal-semantics formal-verification haskell metacompiler metalanguage

Last synced: 05 Nov 2024

https://github.com/agrafix/grabcite

Haskell: Library/Executable to extract citations from scientific papers

citation extraction haskell nlp paper text

Last synced: 12 Oct 2024

https://github.com/sudonatalie/vnc-client

VNC Remote Desktop Client developed purely in Haskell.

haskell literate-programming vnc vnc-client

Last synced: 17 Oct 2024

https://github.com/int-index/mirea-haskell-lectures

Код по Haskell-лекциям в МИРЭА

crash-course haskell

Last synced: 11 Feb 2025

https://github.com/athanclark/websockets-rpc

A simple subscription-esque RPC mechanism using WebSockets

haskell rpc-call websockets websockets-rpc

Last synced: 28 Dec 2024

https://github.com/brandonchinn178/hpc-lcov

Convert HPC coverage output to LCOV format

codecov coverage haskell test

Last synced: 28 Oct 2024

https://github.com/noteed/exploring

These are notes and code to explore Another World, Eric Chahi's 1991 video game.

game-engine haskell retrogaming

Last synced: 19 Jan 2025

https://github.com/kadena-community/bag-of-holding

A terminal wallet for the Kadena Public Blockchain (Chainweb).

chainweb haskell kadena

Last synced: 23 Nov 2024

https://github.com/cdepillabout/heterocephalus-example

simple explanation on how to use -ddump-splices with stack

ddump-splices example haskell template-haskell tutorial

Last synced: 14 Nov 2024

https://github.com/ndmitchell/lasagna

Checker for Haskell layering violations

haskell

Last synced: 18 Nov 2024

https://github.com/toktok/hs-github-tools

Small GitHub utilities like pull-status and changelog generator

github haskell

Last synced: 17 Nov 2024

https://github.com/simre1/reactive-markup-old

A haskell library for declarative GUI programming.

declarative-programming declarative-ui dynamic-markup gtk gui haskell hot-reload markup

Last synced: 07 Nov 2024

https://github.com/cdepillabout/highlight

command line tool for highlighting parts of files that match a regex

cli grep hacktoberfest haskell highlight highlighting hrep regex

Last synced: 14 Nov 2024

https://github.com/takenobu-hs/stg-verilog

STG Physical Machine with Verilog-HDL for Haskell(GHC)

haskell verilog

Last synced: 07 Nov 2024

https://github.com/arowm/haskell-bookkeeping-jp

Helper functions of Haskell bookkeeping module for Japanese bookkeeping.

bookkeeping haskell haskell-bookkeeping japanese

Last synced: 14 Nov 2024

https://github.com/gbrsales/cabal-appimage

Cabal support for creating AppImage applications

appimage cabal haskell linux

Last synced: 13 Nov 2024

https://github.com/javiorfo/xmonarch

XMonad and XMobar integration for Arch Linux

archlinux haskell linux xmobar xmonad xmonarch

Last synced: 30 Nov 2024

https://github.com/jpvillaisaza/mailchimp-haskell

Haskell bindings for the Mailchimp API

haskell mailchimp

Last synced: 11 Nov 2024

https://github.com/fused-effects/fused-effects-parser

Parsing w/ fused-effects inspired by trifecta

algebraic-effects haskell parser

Last synced: 26 Dec 2024

https://github.com/tfc/attoparsecpp

Trying to imitate the elegance of Haskell parsers

cpp haskell library parsec parsing

Last synced: 14 Nov 2024

https://github.com/composite-hs/composite-base

Integrations with Vinyl/Frames records (core library).

haskell haskell-library vinyl

Last synced: 17 Nov 2024

https://github.com/haskell-hvr/hgettext

hgettext a simple wrapper to libintl and gettext to provide localization in Haskell applications

gettext haskell i18n

Last synced: 21 Nov 2024

https://github.com/stla/isosurfaces2

Some isosurfaces.

haskell isosurface marching-cubes

Last synced: 06 Feb 2025

https://github.com/ncaq/yesod-form-bootstrap4

yesod-form for bootstrap version 4

haskell yesod

Last synced: 18 Dec 2024

https://github.com/caneroj1/sqlite-simple-errors

Light wrapper around errors from sqlite-simple to make working with constraint errors a bit easier.

error-handling haskell sqlite

Last synced: 08 Dec 2024

https://github.com/jluttine/haskpy

Haskell/Hask inspired classes and functions in Python

functional-programming functor haskell monad profunctor-optics python

Last synced: 12 Nov 2024

https://github.com/tomi77/learninghaskelldataanalysis

Examples from "Learning Haskell Data Analysis"

haskell haskell-book haskell-learning

Last synced: 13 Dec 2024

https://github.com/haskell-hvr/windns

Domain Name Service (DNS) lookup via the Windows dnsapi standard library

dns dnsapi haskell haskell-library win32

Last synced: 21 Nov 2024

https://github.com/abhaysp95/language_files

some of the language files which I'm learning

asm awk c cpp cpp17 haskell javascript latex lua python r rust rust-lang sql

Last synced: 13 Nov 2024

https://github.com/foreverbell/netease-fm

NetEase Cloud Music FM client in Haskell. (网易云音乐客户端)

fm haskell netease-cloud-music

Last synced: 15 Nov 2024

https://github.com/nikita-volkov/lawful-conversions

Lawful typeclasses for conversion between types

conversions haskell typeclasses

Last synced: 30 Jan 2025

https://github.com/pierric/neural-network

Neural network framework in Haskell

haskell neural-network

Last synced: 08 Nov 2024