https://github.com/creichert/haskellrustdemo

Example Integration for Embedding Rust in Haskell

ffi haskell rust

Last synced: 28 Oct 2024

https://github.com/joom/wangsalgorithm

A classical propositional theorem prover in Haskell, using Wang's Algorithm.

haskell sequent-calculus theorem-prover wang-algorithm

Last synced: 12 Nov 2024

https://github.com/haskell/zlib

Compression and decompression in the gzip and zlib formats

compression gzip gzip-compression gzip-decompression gzip-format haskell zlib

Last synced: 07 Oct 2024

https://github.com/aligusnet/mltool

Machine Learning Toolbox

haskell machine-learning neural-network

Last synced: 28 Oct 2024

https://github.com/kcsongor/symbols

Symbol manipulation

haskell symbols type-level-programming

Last synced: 08 Nov 2024

https://github.com/skyzh/mips-simulator

💻 A 5-stage pipeline MIPS CPU design in Haskell.

computer-architecture cpu haskell mips mips-emulator mips-simulator

Last synced: 28 Oct 2024

https://github.com/ocharles/hs-quake-3

Quake 3 map viewer written in Haskell

frp game haskell opengl quake quake3

Last synced: 22 Oct 2024

https://github.com/deepflowinc/guardian

guardian - the border guardian for your Haskell monorepo package dependencies

haskell monorepo

Last synced: 04 Aug 2024

https://github.com/losfair/violet

Superscalar RISC-V processor written in Clash.

clash cpu hardware haskell risc-v

Last synced: 14 Oct 2024

https://github.com/f-o-a-m/kepler

A Haskell framework that facilitates writing ABCI applications

abci blockchain haskell tendermint

Last synced: 26 Oct 2024

https://github.com/lenguyenthedat/raptor

A lightweight product recommendation system (Item Based Collaborative Filtering) developed in Haskell.

collaborative-filtering ecommerce functional-programming haskell jaccard-distance recommendation-engine recommendation-system zalora

Last synced: 15 Oct 2024

https://github.com/jonascarpay/convoluted

Dependently typed convolutional neural networks

convolutional-neural-networks dependent-types haskell

Last synced: 14 Oct 2024

https://github.com/tek/hix

Haskell/Nix development build tools

haskell nix

Last synced: 04 Aug 2024

https://github.com/aleator/Zettel-hs

Simple plain text ZettelKasten system for terminal users

haskell note-taking text-zettelkasten vim

Last synced: 28 Oct 2024

https://github.com/thoughtpolice/clash-playground

A Clash playground/starter kit, using Nix

fpga haskell nixos

Last synced: 28 Oct 2024

https://github.com/positiondev/fn

A functional web framework

functional haskell web-framework

Last synced: 29 Oct 2024

https://github.com/takenobu-hs/haskell-ghc-reading-guide

Haskell GHC reading guide

ghc haskell

Last synced: 07 Nov 2024

https://github.com/lettier/purescript-pop

:smiley: A functional reactive programming (FRP) demo created with PureScript events and behaviors.

demo demo-app front-end front-end-development front-end-framework frp functional-programming functional-programming-examples functional-reactive-programming haskell interactive javascript javascript-framework purescript purescript-behaviors purescript-demo react reactive reactive-programming web-development

Last synced: 30 Oct 2024

https://github.com/ekmett/perhaps

A monad, perhaps.

data error-handling haskell monad monad-transformers

Last synced: 08 Nov 2024

https://github.com/konn/type-natural

Type-level well-kinded natural numbers.

dependent-types ghc haskell proof-assistant type-level type-level-programming

Last synced: 26 Oct 2024

https://github.com/itchyny/qhs

SQL queries on CSV and TSV files

csv csv-converter haskell sql-query

Last synced: 28 Oct 2024

https://github.com/aesiniath/unbeliever

Opinionated Haskell Interoperability

command-line haskell library

Last synced: 13 Nov 2024

https://github.com/kowainik/autopack

📦 Custom Setup to automate package modules discovery

autodiscover cabal custom-setup haskell

Last synced: 12 Nov 2024

https://github.com/unclechu/purescript-for-haskellers

Some info that supposed to help to understand PureScript from Haskell perspective

docs haskell purescript typed-language

Last synced: 28 Oct 2024

https://github.com/patrickt/haskell-project-ideas

Free ideas, worth every penny

haskell

Last synced: 22 Oct 2024

https://github.com/kowainik/containers-backpack

🎒 Backpack interface for containers

backpack containers data-structures haskell signatures

Last synced: 13 Nov 2024

https://github.com/vmchale/dickinson

Text generation language

dickinson generative-literature haskell language literature repl text-generation

Last synced: 10 Nov 2024

https://github.com/owainlewis/slack

Slack Web and RTM API

api chatbot haskell slack websocket

Last synced: 15 Oct 2024

https://github.com/cdepillabout/world-peace

open union and open product types in Haskell

hacktoberfest haskell open-sum-types

Last synced: 14 Nov 2024

https://github.com/adetokunbo/haskell-overridez

Simplify usage of nix dependencies during haskell development

command-line-tool haskell nix nix-expressions nixpkgs

Last synced: 11 Oct 2024

https://github.com/ptigwe/hs-flatris

An implementation of Flatris using Haskell and Miso

game ghcjs haskell haskell-miso

Last synced: 12 Nov 2024

https://github.com/reflex-frp/reflex-todomvc

Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pure functional style, working in harmony with established Haskell techniques and improving the quality and elegance of your applications.

frp functional-reactive-programming haskell reactive reflex-frp

Last synced: 11 Nov 2024

https://github.com/vivshaw/three-wise-monkeys

You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?

buddhism emoji haskell obfuscated

Last synced: 10 Nov 2024

https://github.com/syucream/hastodon

mastodon client module for Haskell

haskell mastodon

Last synced: 14 Oct 2024

https://github.com/mcfilib/ruby-marshal

Haskell library to parse a subset of Ruby objects serialised with Marshal.dump

haskell parsing ruby serialization

Last synced: 12 Oct 2024

https://github.com/tfausak/autoexporter

:outbox_tray: Automatically re-export Haskell modules.

haskell

Last synced: 27 Oct 2024

https://github.com/egison/egison-haskell

Template Haskell Implementation of Egison Pattern Matching

backtracking egison haskell non-linear-pattern pattern-matching

Last synced: 06 Nov 2024

https://github.com/dcastro/haskell-flatbuffers

An implementation of the flatbuffers protocol in Haskell.

flatbuffers haskell haskell-library

Last synced: 26 Oct 2024

https://github.com/scrive/log

Structured logging solution.

haskell logging scrive

Last synced: 29 Oct 2024

https://github.com/ulidtko/cabal-doctest

A Setup.hs shim for running doctests

doctest haskell

Last synced: 09 Nov 2024

https://github.com/alx741/graphite

Haskell graphs and networks library

graphs haskell library

Last synced: 27 Oct 2024

https://github.com/soupi/minimal-haskell-emacs

A minimal emacs configuration for haskell programming

editor emacs haskell minimal-emacs-configuration

Last synced: 10 Nov 2024

https://github.com/domenkozar/releaser

Automation of Haskell package release process.

cabal haskell

Last synced: 28 Oct 2024

https://github.com/mercurytechnologies/slack-web

Haskell bindings for the Slack web API

haskell servant slack

Last synced: 12 Nov 2024

https://github.com/dfordivam/tenjinreader

Full stack Haskell, Japanese learning app

full-stack haskell japanese-language reflex-frp

Last synced: 07 Nov 2024

https://github.com/KikyTokamuro/Simple-Functional-Programming

Функциональное программирование простым языком + примеры

functional-programming hacktoberfest haskell python scheme simple

Last synced: 15 Aug 2024

https://github.com/fosskers/org-mode

Parser for Emacs org-mode files

emacs haskell org-mode

Last synced: 12 Oct 2024

https://github.com/yoeight/lambda-database-experiment

Experimental event store database entirely written in Haskell

database eventstore haskell

Last synced: 22 Oct 2024

https://github.com/mrkkrp/path-io

Operations on files and directories with typed paths

file-system haskell path

Last synced: 26 Oct 2024

https://github.com/schell/odin

High level 2d game engine written in Haskell.

2d-engine engine freetype frp game graphics haskell odin sdl stack

Last synced: 27 Oct 2024

https://github.com/basvandijk/regions

Provides the region monad for safely opening and working with scarce resources

haskell

Last synced: 27 Oct 2024

https://github.com/ryantm/hdbc-mysql

This package provides a MySQL driver for Haskell's HDBC library, implemented via bindings to the C mysqlclient library.

driver haskell hdbc-mysql mysql-server

Last synced: 27 Oct 2024

https://github.com/fumieval/monad-skeleton

Operational monad library

haskell monads

Last synced: 02 Nov 2024

https://github.com/cdepillabout/cabal2nixwithoutifd

hacktoberfest haskell nix purenix purescript

Last synced: 14 Nov 2024

https://github.com/cdepillabout/cabal2nixWithoutIFD

hacktoberfest haskell nix purenix purescript

Last synced: 12 Nov 2024

https://github.com/mrkkrp/ebal

*DEPRECATED* Emacs interface to Cabal and Stack

cabal emacs haskell stack

Last synced: 05 Aug 2024

https://github.com/gelisam/ludum-dare-31

The theme for LD31 was "Entire Game on One Screen"

game haskell ludum-dare

Last synced: 09 Oct 2024

https://github.com/flogfr/flashcard

FlashCard open source website https://izidict.com

elm elm-lang haskell servant sql

Last synced: 12 Oct 2024

https://github.com/yamadapc/stack-run

Like cabal run for stack

cabal command-line development haskell stack

Last synced: 27 Oct 2024

https://github.com/stanfordhaskell/cs43

Course materials for Stanford's CS43: Functional Programming Paradigms

category-theory course-materials functional-programming haskell

Last synced: 30 Oct 2024

https://github.com/thma/lambda-ski

Implementing a small functional language with a combinator based graph-reduction machine

combinator combinatory-logic compiler functional-programming graph-algorithms graph-reduction haskell lambda-abstractions lambda-calculus st-monad stref

Last synced: 29 Oct 2024

https://github.com/ephemient/aoc2020

Advent of Code 2020 - my answers

advent-of-code advent-of-code-2020 haskell kotlin python rust

Last synced: 06 Nov 2024

https://github.com/alexpeits/harg

Haskell program configuration using higher kinded data

configuration haskell option-parser optparse-applicative

Last synced: 31 Oct 2024

https://github.com/intersectmbo/cardano-haskell-packages

Metadata for Cardano's Haskell package repository

cardano haskell nix

Last synced: 12 Nov 2024

https://github.com/letmaik/monadiccp

Monadic Constraint Programming framework

constraint-programming haskell monads

Last synced: 08 Nov 2024

https://github.com/jpvillaisaza/cain

Category theory applied to functional programming (undergraduate project)

agda category-theory functional-programming haskell

Last synced: 11 Nov 2024

https://github.com/vadimbakaev/flatmap.io

:rocket: The place where people meet technologies

haskell jobs maps search yesod

Last synced: 01 Nov 2024

https://github.com/stackbuilders/stache

Mustache templates for Haskell

hacktoberfest hacktoberfest2023 haskell mustache-templates

Last synced: 12 Nov 2024

https://github.com/mxswd/editable

Derive editors for data types.

haskell

Last synced: 12 Oct 2024

https://github.com/willsewell/pusher-http-haskell

Pusher Channels Haskell HTTP Library

haskell http-client pusher pusher-http-haskell

Last synced: 01 Nov 2024

https://github.com/alhassy/haskellcheatsheet

A reference sheet for the basics of the mind-expanding Haskell language ^_^

applicatives cheatsheet functional-programming functors haskell monads typeclasses

Last synced: 28 Oct 2024

https://github.com/alhassy/HaskellCheatSheet

A reference sheet for the basics of the mind-expanding Haskell language ^_^

applicatives cheatsheet functional-programming functors haskell monads typeclasses

Last synced: 01 Nov 2024

https://github.com/gvolpe/fts

:mag: Postgres full-text search (fts)

desktop-application fs2 fs2-data full-text-search gui-application haskell nix postgres postgresql scala skunk

Last synced: 28 Oct 2024

https://github.com/tejasbubane/hakyll-css

Drop-in CSS themes for syntax highlighting in Hakyll

css hakyll hakyll-themes haskell

Last synced: 13 Nov 2024

https://github.com/srid/ema-template

Template repo for Ema static site generator

haskell static-site-generator template

Last synced: 27 Oct 2024

https://github.com/reflex-frp/reflex-frp.org

reflex-frp.org website

frp functional-reactive-programming haskell reactive reflex-frp

Last synced: 11 Nov 2024

https://github.com/vmchale/tomlcheck

A syntax checker for TOML files

haskell syntax-checker toml vim

Last synced: 10 Nov 2024

https://github.com/singpolyma/unexceptionalio

IO without any PseudoExceptions

error-handling exceptions haskell

Last synced: 14 Oct 2024

https://github.com/madnight/asciichart

ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart

ascii asciichart charts haskell haskell-library haskell-port

Last synced: 04 Nov 2024

https://github.com/keera-studios/magic-cookies

Remove all the cookies on the tray! - The Haskell iOS & Android board game

android commercial functional-programming functional-reactive-programming game google-play haskell haskell-game ios itunes magic-cookies multimedia yampa

Last synced: 14 Nov 2024

https://github.com/csabahruska/proteaaudio

Simple audio library for Windows, Linux, OSX. Supports Mp3, Ogg, Wav playback and multichannel mixing.

audio haskell linux mixer mp3 ogg-vorbis osx wav windows

Last synced: 28 Oct 2024

https://github.com/danielholmes/wolf3d-haskell

Wolfenstein 3D style game engine implemented in haskell

doom game haskell haskell-game id-software sdl sdl2 wolf3d wolfenstein wolfenstein-3d wolfenstein-3d-engine

Last synced: 23 Oct 2024

https://github.com/leftaroundabout/symbolic-math-hatex

Convenient Haskell syntax for writing in LaTeX math expressions

haskell latex symbolic-manipulation

Last synced: 12 Nov 2024

https://github.com/hasky-mode/hasky-stack

Interface to the Stack Haskell development tool

emacs haskell haskell-stack

Last synced: 05 Aug 2024

https://github.com/input-output-hk/quickcheck-dynamic

A library for stateful property-based testing

haskell model-based-testing quickcheck testing-tools

Last synced: 12 Oct 2024

https://github.com/chshersh/ghc-plugin-non-empty

🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list

compile-time ghc haskell plugin

Last synced: 29 Oct 2024

https://github.com/basvandijk/usb

Communicate with USB devices

haskell usb

Last synced: 28 Oct 2024

https://github.com/sjoerdvisscher/free-functors

Provides free functors that are adjoint to functors that forget class constraints.

category-theory generics haskell

Last synced: 08 Nov 2024

https://github.com/glguy/advent2017

Advent of Code 2017 solutions

advent-of-code advent-of-code-2017 haskell

Last synced: 12 Oct 2024

https://github.com/kutyel/haskell-book

🚀My solutions to the Haskell Book exercises!

haskell haskell-book haskell-exercises haskell-learning learning-by-doing learning-exercise learning-haskell

Last synced: 17 Oct 2024

https://github.com/basvandijk/threads

Fork threads and wait for their result

concurrency haskell

Last synced: 12 Oct 2024

https://github.com/krdlab/haskell-oidc-client

OpenID Connect 1.0 client (RP) library for Haskell

haskell openid-connect

Last synced: 28 Oct 2024

https://github.com/passy/giphy-api

Giphy HTTP API Wrapper for Haskell

giphy haskell lenses

Last synced: 07 Nov 2024

https://github.com/fwcd/curry-language-server

IDE support for the functional logic language Curry

curry functional-programming haskell language-server-protocol logic-programming

Last synced: 31 Oct 2024

https://github.com/nmattia/haskell-hot-swap

Hot swapping compiled code while keeping a websocket connection open

dynamic-loading experimental ghc haskell websocket-connection

Last synced: 28 Oct 2024

https://github.com/danyshaanan/mandelbrot

:mushroom: Renderings of the Mandelbrot set in various languages

awk canvas cpp glsl haskell mandelbrot nodejs php postscript python ruby scala

Last synced: 07 Nov 2024

https://github.com/tfausak/purple-yolk

:hatching_chick: A Haskell IDE for Visual Studio Code.

haskell ide vscode

Last synced: 27 Oct 2024

https://github.com/mrkkrp/flac

Complete high-level Haskell binding to libFLAC

bindings flac haskell

Last synced: 26 Oct 2024

https://github.com/Tehnix/ide-haskell-hie

Atom LSP plugin for HIE (Haskell IDE Engine)

atom atom-plugin haskell haskell-ide-engine lsp-server

Last synced: 09 Nov 2024

https://github.com/9beach/hanspell-hs

(주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.

hangul haskell korean language spellchecker

Last synced: 29 Oct 2024