https://github.com/expede/teaching-fp

Techniques, advice, and anecdotes about how to teach Functional Programming

clojure clojurescript elixir elm functional-programming haskell idris material ocaml python racket rust scala scheme teaching theory

Last synced: 06 Dec 2024

https://github.com/iagoabal/haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).

api haskell smt z3

Last synced: 23 Dec 2024

https://github.com/con-kitty/categorifier

Interpret Haskell programs into any cartesian closed category.

category-theory haskell plugin

Last synced: 12 Nov 2024

https://github.com/y-taka-23/wasm-pandoc

Pandoc compiled into WebAssembly by Asterius. 📚

asterius haskell wasm webassembly

Last synced: 24 Nov 2024

https://github.com/frizensami/haskell-optimization

A beginner's guide to Haskell optimization

haskell haskell-learning haskell-tutorial

Last synced: 29 Nov 2024

https://github.com/haskell/hackage-security

Hackage security framework based on TUF (The Update Framework)

cabal hackage haskell security tuf

Last synced: 22 Dec 2024

https://github.com/Jyothsnasrinivas/eta-android-2048

Android 2048 game using Yampa FRP library in Eta

android eta frp functional-programming haskell

Last synced: 07 Nov 2024

https://github.com/jyothsnasrinivas/eta-android-2048

Android 2048 game using Yampa FRP library in Eta

android eta frp functional-programming haskell

Last synced: 29 Nov 2024

https://github.com/gergoerdi/metafun

Compile Haskell-like code into C++ template metaprograms

code-generator cplusplus haskell template-metaprogramming

Last synced: 16 Nov 2024

https://github.com/hasura/kriti-lang

A minimal JSON templating language

haskell hasura json template-lan

Last synced: 10 Nov 2024

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

YAML 1.2 implementation in pure Haskell

haskell pure-haskell yaml yaml-processor

Last synced: 20 Dec 2024

https://github.com/totbwf/tactic-haskell

Tactic Metaprogramming in Haskell

haskell metaprogramming tactics

Last synced: 16 Nov 2024

https://github.com/cdepillabout/password

datatypes and functions for easily working with passwords in Haskell

hacktoberfest haskell password

Last synced: 21 Dec 2024

https://github.com/rpearce/hakyll-nix-template

Hakyll + Nix starter template

hacktoberfest hakyll haskell nix static-site-generator template

Last synced: 26 Dec 2024

https://github.com/mrcjkb/neotest-haskell

Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty

haskell hspec neovim neovim-plugin sydtest tasty testing treesitter

Last synced: 26 Dec 2024

https://github.com/carlosmchica/haskell-book-readers-exercises

Exercises from the readers of the Haskell Book

functional-programming haskell haskellbook

Last synced: 01 Nov 2024

https://github.com/kowainik/type-errors-pretty

💄🐞 Combinators for writing pretty type errors easily

compile-time hacktoberfest haskell pretty type-errors type-level

Last synced: 12 Nov 2024

https://github.com/jkachmar/easy-hls-nix

Easy Haskell Language Server tooling with Nix!

haskell haskell-language-server lsp nix tooling

Last synced: 28 Oct 2024

https://github.com/vmchale/apple

Apple array system

array haskell

Last synced: 10 Nov 2024

https://github.com/sjoerdvisscher/data-category

Library of categories, with categorical constructions on them

category-theory haskell

Last synced: 19 Dec 2024

https://github.com/maoe/influxdb-haskell

InfluxDB client library for Haskell

haskell influxdb

Last synced: 25 Dec 2024

https://github.com/justusadam/marvin

The paranoid bot (framework)

bot haskell hubot irc irc-bot slack slack-bot telegram telegram-bot

Last synced: 14 Nov 2024

https://github.com/dmjio/julio

Julia embedded in Haskell

haskell julia

Last synced: 16 Nov 2024

https://github.com/bgamari/ghc-dump

A GHC plugin and library for analysing GHC Core

ghc haskell

Last synced: 28 Oct 2024

https://github.com/alx741/vim-hindent

Vim Haskell Hindent integration plugin

haskell hindent vim

Last synced: 28 Oct 2024

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

Unofficial OpenAI Haskell Bindings

gpt-3 gpt3 haskell machine-learning openai sdk

Last synced: 22 Dec 2024

https://github.com/sfttech/openage-masterserver

Lobby and matchmaking server for openage in Haskell

haskell internet lobbies masterserver network openage

Last synced: 17 Nov 2024

https://github.com/giovanifss/Dumb

Dumain Bruteforcer - a fast and flexible domain bruteforcer

bruteforce dns domain haskell pentest-tool pentesting subdomain subdomain-brute

Last synced: 26 Sep 2024

https://github.com/mrkkrp/parser-combinators

Lightweight package providing commonly useful parser combinators

haskell parser-combinators parsing

Last synced: 25 Dec 2024

https://github.com/nabinno/dojo

This is a repository for immersive learning, meditation or software development.

amazon-api-gateway amazon-cognito amazon-dynamodb aws-cdk aws-lambda datacamp dojo golang google-cloud-platform hackerrank haskell leetcode numpy pandas python qwiklabs ruby

Last synced: 25 Dec 2024

https://github.com/vmchale/madlang

Madlang is a language for generative literature

generative-art generative-literature haskell language

Last synced: 10 Nov 2024

https://github.com/futrnostr/futr

nostr client app written in haskell and qt5

haskell nostr qt5 qt5-qml

Last synced: 20 Nov 2024

https://github.com/serokell/haskell-with-utf8

Get your IO right on the first try

files haskell input-output unicode utf8

Last synced: 12 Nov 2024

https://github.com/dfithian/th-tutorial

Template Haskell Workshop

haskell template-haskell

Last synced: 07 Nov 2024

https://github.com/ivanjermakov/wordle

TUI version of the Wordle word puzzle game written in Haskell

brick game haskell tui wordle

Last synced: 08 Nov 2024

https://github.com/fgaz/shine

Declarative graphics for the browser

canvas declarative declarative-graphics draw graphics hacktoberfest haskell

Last synced: 27 Oct 2024

https://github.com/rudymatela/leancheck

enumerative property-based testing for Haskell

enumerative-testing haskell leancheck property-based-testing property-testing testing testing-tools

Last synced: 19 Dec 2024

https://github.com/ekmett/unpacked-containers

Unpacked containers using backpack

containers data-structures haskell unpacked

Last synced: 08 Nov 2024

https://github.com/thma/threepennyelectron

Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell

electron gui gui-programming haskell haskell-library npm standalone-gui-application threepenny-gui

Last synced: 29 Oct 2024

https://github.com/bartavelle/language-puppet

A library to work with Puppet manifests, test them and eventually replace everything ruby.

continuous-integration haskell library parser puppet server tests

Last synced: 14 Oct 2024

https://github.com/scott-fleischman/greek-grammar

Modeling Ancient Greek Grammar

agda ancient-greek grammar greek haskell morphology phonology

Last synced: 08 Nov 2024

https://github.com/dmjio/google-translate

:secret: Google Translate API

google-translate haskell servant servant-client

Last synced: 16 Nov 2024

https://github.com/danidiaz/really-small-backpack-example

A really small example of the Backpack module system for Haskell

backpack haskell tutorial

Last synced: 13 Nov 2024

https://github.com/keera-studios/keera-posture

Alleviate your back pain using Haskell and a webcam

back-pain camera haskell health healthcare multimedia opencv pain rsi

Last synced: 14 Nov 2024

https://github.com/cdepillabout/stacklock2nix

Easily build a Haskell project from a stack.yaml.lock file with Nix

hacktoberfest haskell nix nixpkgs stack stackage

Last synced: 27 Dec 2024

https://github.com/typeable/stackage2nix

Generate Nix build instructions from a Stack file

haskell nix nixpkgs stack stack2nix stackage

Last synced: 11 Oct 2024

https://github.com/briandowns/super-hacker

SuperHacker is the ultimate utility to make you look like a hacker.

c cli golang hacker haskell java javascript python scala terminal

Last synced: 14 Nov 2024

https://github.com/serokell/o-clock

:hourglass: Type-safe time units in Haskell

haskell rational-numbers time type-level-programming type-safety

Last synced: 27 Oct 2024

https://github.com/ix/lazyboy

An EDSL implemented in Haskell for programming the Nintendo Game Boy.

dsl edsl game-boy gameboy games gaming haskell homebrew videogames

Last synced: 01 Nov 2024

https://github.com/luc-tielen/telescope_hoogle

Hoogle search integration for Telescope

haskell lua neovim neovim-plugin

Last synced: 28 Oct 2024

https://github.com/vaclavsvejcar/headroom

©️ Manager for license headers in source code files.

haskell license-management

Last synced: 23 Dec 2024

https://github.com/kowainik/extensions

👅 Parse Haskell Language Extensions

extensions hacktoberfest haskel2010 haskell haskell-extensions language-pragmas

Last synced: 12 Nov 2024

https://github.com/gmarpons/asciidoc-hs

AsciiDoc parser that can be used as a Pandoc front-end, written in Haskell

asciidoc docs-as-code haskell pandoc

Last synced: 12 Nov 2024

https://github.com/roman/Haskell-etc

Declarative configuration spec for Haskell projects

cli-options haskell json-configuration

Last synced: 09 Dec 2024

https://github.com/composewell/unicode-transforms

Fast Unicode normalization in Haskell

haskell haskell-library unicode unicode-normalization

Last synced: 27 Dec 2024

https://github.com/shajra/haskell-hls-nix

Nix builds of Haskell Language Server

haskell haskell-language-server nix

Last synced: 07 Dec 2024

https://github.com/ice1000/learn

:books: codes written while learning them.

android c clojure cpp csharp dart go groovy haskell java jni kotlin learning prolog python

Last synced: 27 Oct 2024

https://github.com/lpeterse/haskell-socket

A Haskell binding to the POSIX sockets API

haskell network socket

Last synced: 06 Nov 2024

https://github.com/tfausak/cabal-gild

:crown: Format Haskell package descriptions.

cabal formatter haskell

Last synced: 27 Oct 2024

https://github.com/1computer1/errata

Source code error pretty printing

error error-messages haskell highlight pretty-printing source-code

Last synced: 31 Oct 2024

https://github.com/roman/haskell-etc

Declarative configuration spec for Haskell projects

cli-options haskell json-configuration

Last synced: 15 Nov 2024

https://github.com/o3/n2o

⭕️ N2O: Haskell Application Server

haskell n2o

Last synced: 06 Nov 2024

https://github.com/nikita-volkov/domain

Focused domain model declaration toolkit for Haskell

boilerplate codegen haskell model template-haskell

Last synced: 27 Oct 2024

https://github.com/pkamenarsky/knit

Ties the knot on data structures that reference each other by unique keys

data-structures haskell tie-knot

Last synced: 08 Nov 2024

https://github.com/haskell/security-advisories

hacktoberfest hacktoberfest2024 haskell security vulnerabilities

Last synced: 25 Dec 2024

https://github.com/kleidukos/get-tested

Go get tested! Github Actions matrix generator for your haskell projects' CI

ci continuous-integration github-actions haskell

Last synced: 20 Dec 2024

https://github.com/two-twelve/fernery

A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems

barnsley-fern cli cli-app cli-tool dragon-curve fractal fractal-generators fractal-images fractal-rendering fractals generative-art haskell haskell-cli iterated-function-system koch-snowflake prs-welcome sierpinski sierpinski-gasket sierpinski-triangle

Last synced: 08 Nov 2024

https://github.com/sjoerdvisscher/one-liner

Constraint-based generics

generics haskell profunctors

Last synced: 01 Nov 2024

https://github.com/sternenseemann/spacecookie

gopher library & server written in Haskell

gopher gopher-protocol gopher-server haskell network server systemd

Last synced: 07 Nov 2024

https://github.com/gergoerdi/clash-spaceinvaders

Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH

clash fpga hardware haskell intel8080 space-invaders

Last synced: 16 Nov 2024

https://github.com/kowainik/slist

♾️ Sized list

data-structure hacktoberfest haskell list sized

Last synced: 30 Oct 2024

https://github.com/achirkin/easytensor

Many-dimensional type-safe numeric ops

dimensions haskell linear-algebra matrices tensors vectors

Last synced: 29 Oct 2024

https://github.com/hatashiro/monkey-hs

An interpreter for the Monkey programming language written in Haskell

haskell interpreter monkey-programming-language

Last synced: 29 Oct 2024

https://github.com/dfinity-side-projects/winter

Haskell port of the WebAssembly OCaml reference interpreter

haskell interpreter wasm webassembly

Last synced: 08 Nov 2024

https://github.com/haskell-servant/servant-swagger-ui

Provide embedded swagger UI for servant and swagger

hacktoberfest haskell

Last synced: 25 Dec 2024

https://github.com/fgaz/hackertyper

"Hack" like a programmer in movies and games! Inspired by hackertyper.net

hacking haskell joke typing

Last synced: 12 Oct 2024

https://github.com/concordium/concordium-node

The main concordium node implementation.

blockchain blockchain-node concordium haskell rust

Last synced: 26 Dec 2024

https://github.com/freckle/graphula

A simple interface for generating persistent data and linking its dependencies

haskell terraform-managed testing

Last synced: 20 Dec 2024

https://github.com/y-taka-23/miso-tutorial-app

An example GHCJS + Miso single page application. 🍜

frontend ghcjs haskell javascript miso spa ssr tutorial

Last synced: 24 Nov 2024

https://github.com/lpeterse/haskell-mqtt

An MQTT protocol implementation (client and server)

haskell iot message-broker mqtt

Last synced: 06 Nov 2024

https://github.com/camfort/fortran-src

Fortran parsing and static analysis infrastructure

automated-refactoring fortran haskell parser static-analysis

Last synced: 12 Nov 2024

https://github.com/lsrcz/grisette

A monadic library for symbolic evaluation

haskell smt symbolic-evaluation symbolic-execution synthesis verification

Last synced: 27 Oct 2024

https://github.com/nmattia/wai-lambda

Haskell Webapps on AWS Lambda

aws aws-lambda haskell nix webapp

Last synced: 31 Oct 2024

https://github.com/typedbyte/effet

An effect system based on type classes, written in Haskell.

effects handlers haskell

Last synced: 01 Nov 2024

https://github.com/antl3x/super-ts

🦸 λΔ providing super powers to Typescript.

fantasy-land functional-programming haskell purescript static-land typescript

Last synced: 12 Nov 2024

https://github.com/lysxia/generic-data

Generic data types in Haskell, utilities for GHC.Generics

deriving generics haskell

Last synced: 22 Dec 2024

https://github.com/leventerkok/sbvplugin

Formally prove properties of Haskell programs using SBV/SMT.

haskell sbv smt verification

Last synced: 20 Dec 2024

https://github.com/mstksg/advent-of-code-2021

🎅🌟❄️☃️🎄🎁

advent-of-code advent-of-code-2021 haskell

Last synced: 28 Oct 2024

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

Framework for writing fully native apps using Reflex, a Functional Reactive Programming library for Haskell.

frp functional-reactive-programming haskell reactive reflex-frp

Last synced: 11 Nov 2024

https://github.com/byteverse/colonnade

Generic types and functions for encoding and decoding columns

haskell

Last synced: 19 Dec 2024

https://github.com/glguy/advent2019

Advent of Code 2019 solutions

advent-of-code advent-of-code-2019 haskell

Last synced: 28 Oct 2024

https://github.com/parsonsmatt/rowdy

A convenient DSL for describing web routes

dsl haskell routing

Last synced: 02 Nov 2024

https://github.com/oliviersohn/hamazed

Monorepo for a multi-player game engine, and game examples

addition animation ascii-art ascii-game ascii-graphics collision game haskell laser mathematics retrogaming

Last synced: 27 Oct 2024

https://github.com/leventov/yarr

Yer another array library

dataflow haskell

Last synced: 08 Nov 2024

https://github.com/porges/email-validate-hs

Email address validation for Haskell

email-validation hackage haskell

Last synced: 20 Dec 2024

https://github.com/mrkkrp/text-metrics

Calculate various string metrics efficiently in Haskell

hamming-distance haskell jaccard-similarity jaro-distance jaro-winkler-distance levenshtein-distance string-metrics

Last synced: 27 Oct 2024

https://github.com/i42output/neos

Language agnostic scripting engine with a custom bytecode JIT

ada bytecode cpp forth haskell javascript jit jit-compiler json lua python rjson rust vm

Last synced: 25 Oct 2024

https://github.com/gvolpe/exchange-rates

:currency_exchange: Querying a rate-limited currency exchange API using Redis as a cache

cache dhall dhall-lang exchange-rates forex haskell rate-limiter redis transient wreq

Last synced: 28 Oct 2024

https://github.com/dustin/mqtt-hs

Haskell MQTT client.

haskell iot mqtt networking

Last synced: 20 Dec 2024

https://github.com/tchoutri/pg-entity

A pleasant PostgreSQL database layer for Haskell

database-layer haskell postgresql simple-haskell sql

Last synced: 05 Nov 2024