https://github.com/takenobu-hs/haskell-ghc-cmm-examples

Haskell/GHC Cmm examples

ghc haskell

Last synced: 29 Dec 2024

https://github.com/prikhi/genkouyoushi-generator

Haskell Library, CLI App, & API Server for Generating Genkouyoushi(原稿用紙) Paper

cli diagram generator genkouyoushi genkouyoushi-generator haskell haskell-cli japanese-study paper servant

Last synced: 17 Jan 2025

https://github.com/prikhi/hs-backup

Robust Backup Server for Resumable, Archived Network Backups

backup backup-tool cli haskell rsync

Last synced: 17 Jan 2025

https://github.com/ibnaleem/haskell-simplified

The open curriculum for learning functional programming in Haskell

functional-programming haskell haskell-book haskell-exercises haskell-language haskell-learning haskell-tutorial learnyouahaskell theodinproject

Last synced: 15 Dec 2024

https://github.com/syocy/genpass

Command Line Tool to Generate/Check Passwords with Some Rules

command-line-tool haskell password-generator

Last synced: 02 Jan 2025

https://github.com/koterpillar/appendmap

A Data.Map wrapper with a Monoid instance that delegates to the individual keys

containers data-structures haskell map monoid semigroup

Last synced: 06 Nov 2024

https://github.com/lupino/micro-gateway

A Micro service gateway.

gateway haskell microservice microservices

Last synced: 22 Jan 2025

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

Fortran memory model and other static analysis tools (building on fortran-src)

fortran haskell static-analysis

Last synced: 19 Nov 2024

https://github.com/nmattia/butler

Butler-suite for typed protocols and state machines

haskell protocols typesafe

Last synced: 26 Dec 2024

https://github.com/taktoa/language-boogie

A Git mirror of the language-boogie repository on BitBucket (https://bitbucket.org/nadiapolikarpova/boogaloo)

boogie haskell mirror

Last synced: 22 Jan 2025

https://github.com/taktoa/inference

Experiments in dependent type inference

dependent-types experimental haskell

Last synced: 22 Jan 2025

https://github.com/taktoa/tsbannergen

An MPD banner generator for TeamSpeak

banner-generator haskell teamspeak3

Last synced: 22 Jan 2025

https://github.com/taktoa/liquid-regex

Some experiments with regular expressions and LiquidHaskell

experimental haskell liquidhaskell regex

Last synced: 22 Jan 2025

https://github.com/n04ln/infosecreport

⚔️ (maybe) More useful tool for L06(Information Security Lecture) by u-aizu 🛡

haskell prime-numbers rsa terrific-tatsumaki

Last synced: 28 Jan 2025

https://github.com/augustunderground/acid

Circus Clown

haskell hasktorch hindsight-experience-replay reinforcement-learning twin-delayed-policy-gradient

Last synced: 17 Jan 2025

https://github.com/marteinn/serverless-haskell-cookbook

The missing cookbook for serverless-haskell

haskell

Last synced: 22 Jan 2025

https://github.com/halogenandtoast/lightsout

Lights out implementation in Haskell

haskell

Last synced: 30 Jan 2025

https://github.com/mcfilib/dropcure

Toy project demonstrating WebSockets in Haskell

haskell websockets

Last synced: 15 Jan 2025

https://github.com/spl/jhc-darcs

Read-only mirror of the jhc darcs repository

compiler haskell jhc mirror

Last synced: 22 Dec 2024

https://github.com/hanzopgp/haskelltest

First time using functional programming language.

functional-programming haskell university

Last synced: 16 Jan 2025

https://github.com/telser/haskell-non-empty-text

A NonEmpty Text Type

haskell haskell-library

Last synced: 10 Jan 2025

https://github.com/dagit/7drl2017

7drl 7drl2017 game haskell roguelike

Last synced: 31 Dec 2024

https://github.com/antalsz/tree-dye

Random spanning tree “tie-dye”

art generative-art haskell haskell-application haskell-library random random-tree

Last synced: 06 Feb 2025

https://github.com/piotrjustyna/drakon-renderer

svg drakon diagrams

diagram drakon drakon-diagrams haskell

Last synced: 12 Nov 2024

https://github.com/michaeljklein/hackage-stats

Haskell stats and graphs

hackage haskell mathematica r scraper

Last synced: 06 Feb 2025

https://github.com/aionescu/toy-language-interpreter

Toy Language Interpreter

haskell interpreter java rust toy-language

Last synced: 30 Jan 2025

https://github.com/mistuke/ghcdevelchoco

Chocolatey sources for quick and easy setup of a GHC development environment on Windows.

chocolatey ghc haskell powershell-scripts standalone

Last synced: 31 Dec 2024

https://github.com/sthenauth/zxcvbn-hs

Password strength estimation based on zxcvbn

haskell security zxcvbn

Last synced: 22 Dec 2024

https://github.com/infinisil/arvy

Bachelor thesis on Arvy Heuristics for Distributed Mutual Exclusion

bachelor-thesis distributed-computing haskell mutual-exclusion nix

Last synced: 26 Dec 2024

https://github.com/webcpu/haskellswift

A functional library for Swift programmers

functional-programming haskell swift

Last synced: 12 Jan 2025

https://github.com/elizabethsiegle/stockbot

Slack stock bot in Haskell. TODO format output but temp on hold for more timely projects

haskell ngrok slack slack-api slack-app slack-bot slackapi slackbot yahoo-finance-api

Last synced: 01 Feb 2025

https://github.com/thamugadi/hs-marie

Implementation of MARIE computer architecture in Haskell

emulator fp haskell marie marie-assembly-language

Last synced: 24 Jan 2025

https://github.com/littlewhitecloud/helloworld-collections

This is a repository includes "Hello World!" and each exmaple is implemented by different languages

assembly c cplusplus go haskell havascript helloworld html java lisp lua objective-c php python ruby scheme smalltalk sql tcl v

Last synced: 19 Jan 2025

https://github.com/jonschoning/swaggerpetstore-haskell-http-client

auto-generated haskell http-client bindings to SwaggerPetstore http://petstore.swagger.io/

haskell openapi-specification rest rest-api swagger swagger-codegen

Last synced: 19 Jan 2025

https://github.com/btipling/machine-vm

A toy virtual machine written in Haskell

alu hardware-virtualization haskell virtual-machine vm

Last synced: 25 Jan 2025

https://github.com/ken-okabe/vscode-lambda-for-fun-fsharp

Write Haskell style lambda expression in F#, `\` instead of `fun `

dotnet dotnet-framework fsharp functional-programming haskell lambda lambda-calculus lambda-expressions lambda-functions visual-studio-code

Last synced: 31 Jan 2025

https://github.com/s0kil/ihp-nutrire

Application For Sharing Nutritional Guides

haskell ihp tailwindcss

Last synced: 25 Jan 2025

https://github.com/standardsemiconductor/mane

VELDT Programmer

ftdi hardware haskell usb

Last synced: 31 Jan 2025

https://github.com/symtegration/symtegration

Haskell library for symbolic integration.

haskell mathematics symbolic-integration

Last synced: 19 Jan 2025

https://github.com/declension/workstation-playbook

Ansible playbook for (Ubuntu) Python & Java & JS & Haskell & Rust dev & DevOps environment setup

ansible haskell java kubernetes python3 rust-lang ubuntu

Last synced: 01 Feb 2025

https://github.com/redneb/hubic-auth-swift

Swift v1 authentication for hubiC

haskell hubic

Last synced: 19 Jan 2025

https://github.com/yurrriq/pandoc-minted

A pandoc filter to render LaTeX code blocks using minted

haskell latex literate-programming minted nix pandoc pandoc-filter

Last synced: 18 Jan 2025

https://github.com/deltaq-sd/deltaq

Haskell libraries for ∆Q Systems Development

haskell networking performance system-design

Last synced: 19 Jan 2025

https://github.com/yurrriq/effective-haskell

Working though 'Effective Haskell' by Rebecca Skinner

haskell learning-by-book

Last synced: 18 Jan 2025

https://github.com/jaalonso/cursos_de_pf_con_haskell

Recopilación de cursos de programación funcional con Haskell.

functional-programming haskell haskell-learning

Last synced: 01 Feb 2025

https://github.com/jaalonso/exercitium2013

Ejercicios de programación funcional con Haskell (Curso 2013-14)

functional-programming haskell haskell-exercises

Last synced: 01 Feb 2025

https://github.com/xieyuschen/openai-api

[WIP] A haskell library provides out-of-box methods to interact with openai.

chatgpt chatgpt-api gpt-3 haskell haskell-library openai-api

Last synced: 01 Feb 2025

https://github.com/sternenseemann/grav2ty

2d space flight game with realistic physics

2d game gloss haskell haskell-game physics simulation space

Last synced: 19 Jan 2025

https://github.com/sternenseemann/emoji-generic

Haskell Emoji Library [WIP]

emoji haskell unicode

Last synced: 19 Jan 2025

https://github.com/macmod/hsfun

Fun with Haskell.

haskell math monte-carlo

Last synced: 01 Feb 2025

https://github.com/torvaney/terminal-snake

Toy project with haskell

haskell jank snake

Last synced: 11 Jan 2025

https://github.com/ccntrq/starter-snake-haskell

A Haskell Battlesnake starter

battlesnake haskell

Last synced: 19 Jan 2025

https://github.com/srid/deux

Something something mind maps

dhall haskell reflex reflex-frp

Last synced: 27 Dec 2024

https://github.com/robbert-vdh/thesis

Annotating Deeply Embedded Languages - A master's thesis on extending deeply embedded languages with annotations, source mapping support, and custom compiler instructions

accelerate embedded-language haskell thesis utrecht-university

Last synced: 11 Jan 2025

https://github.com/haskell-github-trust/random-string

Generate a random string as base 16, 58, or 64.

base16 base58 base64 haskell random

Last synced: 31 Jan 2025

https://github.com/haskell-cryptography/cryptography-blake3

A wrapper around cryptography-blake3-bindings which is more Haskell-friendly

blake3 cryptography haskell

Last synced: 19 Jan 2025

https://github.com/srid/tagtree

Haskell library for representing hierarchical tags

haskell tags

Last synced: 27 Dec 2024

https://github.com/steshaw/language-swift2-quote

💫 Swift 2.1 parser and pretty-printer 🚧💔😢

haskell parser swift swift-2

Last synced: 11 Jan 2025

https://github.com/tatsuya6502/xmonad-starter-kit

haskell xmonad

Last synced: 01 Feb 2025

https://github.com/steadylearner/haskell

I will record my Haskell learning process. I will collect working code here also.

haskell haskell-application haskell-exercises haskell-learning steadylearner

Last synced: 11 Jan 2025

https://github.com/aycanirican/nixit

Build my haskell project using nix

cabal cabal2nix haskell hpack nix stack

Last synced: 20 Jan 2025

https://github.com/ajm188/hava

{Lexer, Parser} for a Java-like language implemented in Haskell

haskell lexer parser

Last synced: 01 Feb 2025

https://github.com/eatingtomatoes/tiger-compiler

A simple compiler for (modified) tiger language

compiler haskell tiger

Last synced: 18 Jan 2025

https://github.com/jaalonso/exercitium2018

Ejercicios de programación funcional con Haskell (Curso 2018-19)

haskell haskell-exercises haskell-learning

Last synced: 01 Feb 2025

https://github.com/lsrcz/learning-haskell

Solutions to the book Haskell Programming from first principles.

haskell haskellbook learning learning-exercise learning-haskell

Last synced: 19 Jan 2025

https://github.com/nicolast/hedgehog-stateful-demo

A demonstration of stateful systems testing using Hedgehog

haskell haskell-learning hedgehog property-based-testing property-testing quickcheck state-machine state-machine-testing testing

Last synced: 19 Jan 2025

https://github.com/imalsogreg/workerbee

Demo Servant application for Haskell DC

demo-app haskell

Last synced: 02 Feb 2025

https://github.com/edkolev/curry.vim

Helpers for writing Haskell in Vim, without any dependencies. (experimental)

haskell

Last synced: 13 Jan 2025

https://github.com/turion/rhine-tutorial

A short presentation and tutorial app for the FRP framework Rhine (https://github.com/turion/rhine)

frp haskell tutorial

Last synced: 12 Oct 2024

https://github.com/prikhi/cloudwatcher

TUI for reviewing error logs from AWS Cloudwatch

cloudwatch cloudwatch-logs haskell tui

Last synced: 11 Oct 2024

https://github.com/noti0na1/codetranslator

A Code Translator for C8, CS146

c8 cs146 haskell uwaterloo

Last synced: 16 Dec 2024

https://github.com/willdoescode/geo-final

Geometry class final project

haskell

Last synced: 25 Dec 2024

https://github.com/kputnam/union-find

Implementation of the union-find algorithm in Haskell

algorithm haskell union-find

Last synced: 17 Dec 2024

https://github.com/athanclark/digestive-functors-lucid

Representation of digestive-functors for lucid

digestive-functors haskell html lucid

Last synced: 27 Oct 2024

https://github.com/matsubara0507/jsonparser

JSON Parser using Haskell

haskell json-parser

Last synced: 02 Feb 2025

https://github.com/nasso/comparse

A highly generic parser combinators library.

haskell parser parser-combinators

Last synced: 13 Jan 2025

https://github.com/typeclasses/aeson-decode

Easy functions for converting from Aeson.Value

haskell haskell-library json

Last synced: 05 Dec 2024

https://github.com/evanrelf/advent-of-code

My solutions to Advent of Code programming puzzles

advent-of-code haskell rust

Last synced: 11 Oct 2024

https://github.com/memowe/trivialini

Ultra light weight ini file parser

config haskell haskell-library ini lightweight parser

Last synced: 25 Dec 2024

https://github.com/airsequel/airput

CLI tool for populating Airsequel with data. Includes a crawler for GitHub repos metadata.

airsequel crawling github haskell

Last synced: 13 Jan 2025

https://github.com/alx741/stack.vim

Vim Haskell Stack compiler plugin [official]

compiler haskell stack vim

Last synced: 27 Dec 2024

https://github.com/saschagrunert/failure

Pure and type driven error handling for Haskell

error error-handling haskell haskell-library

Last synced: 27 Dec 2024

https://github.com/dee-me-tree-or-love/happy-and-alex-typed-lukcal

Haskell Happy & Alex: Typed Polish Notation (Łukasiewicz) Calculator

calculator haskell haskell-alex haskell-happy polish-notation type-checking

Last synced: 19 Dec 2024

https://github.com/aidatorajiro/blockchain-haskell

A blockchain library for haskell.

bitcoin blockchain blockchain-technology haskell parse transaction

Last synced: 28 Dec 2024

https://github.com/typeclasses/scotty-path-normalizer

Scotty action to redirect to a normalized path (remove trailing slash, "..", etc.)

haskell haskell-library http-server

Last synced: 05 Dec 2024

https://github.com/chris-martin/wordlist

command-line-application haskell haskell-application

Last synced: 28 Oct 2024

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

Opinionated template for new Haskell projects.

haskell template

Last synced: 13 Jan 2025

https://github.com/sondr3/scheme-hs

A Haskell implementation of R7RS Scheme

haskell lisp scheme

Last synced: 12 Jan 2025

https://github.com/chris-martin/rory

Rory is a tool for deploying artifacts to a server.

haskell haskell-application server

Last synced: 21 Dec 2024

https://github.com/typeclasses/hedgehog-optics

Hedgehog properties for optics laws

haskell haskell-library optics property-testing

Last synced: 05 Dec 2024

https://github.com/stevemao/dep-haskell-stack

dependabot dependency github-actions haskell stack

Last synced: 20 Jan 2025

https://github.com/denisshevchenko/youcon2017

Доклад для конференции ЮКОН 2017

conference-talk haskell

Last synced: 15 Dec 2024

https://github.com/typeclasses/happy-hour

Generate basic bar plot SVG files

bar-plots haskell haskell-library

Last synced: 05 Dec 2024

https://github.com/yvan-sraka/hs-bindgen-attribute

Handy macro to generate C-FFI bindings from Rust to Haskell.

hacktoberfest haskell rust

Last synced: 27 Oct 2024

https://github.com/typeclasses/nat-optics

Refinement types for natural numbers with an optics interface

haskell haskell-library integers optics

Last synced: 05 Dec 2024

https://github.com/aligusnet/linalg-benchmarks

Linear Algebra Benchmarks

benchmark golang haskell linear-algebra octave python swift

Last synced: 20 Jan 2025

https://github.com/jabolol/julia

A script to generate Julia set image representations and explore the world of fractals

fractals haskell julia-set

Last synced: 26 Jan 2025

https://github.com/avanov/nix-cabal-simplest

The simplest Nix + Cabal setup possible, for demo purposes.

cabal-install haskell nixpkgs

Last synced: 14 Dec 2024

https://github.com/dfordivam/audiocapture

Capture live audio stream from browser using ghcjs and websockets

ghcjs haskell webmedia websocket

Last synced: 28 Dec 2024

https://github.com/srid/lvar

TMVar with change notification

concurrency haskell

Last synced: 12 Oct 2024