https://github.com/bonzai-lang/bonzai

Bonzai is a programming language based on actor models. It compiles down to a custom bytecode.

actor-model bytecode concurrent-programming haskell programming-language virtual-machine

Last synced: 30 Jan 2025

https://github.com/nmattia/butler

Butler-suite for typed protocols and state machines

haskell protocols typesafe

Last synced: 26 Dec 2024

https://github.com/natserract/lamblichus

Functors macros in Elixir inspired from haskell, and purescript

elixir functors haskell macro metaprogramming

Last synced: 09 Feb 2025

https://github.com/mateuskoppe/lambdakalc

A Interpreter based on a ML language implementing Lambda Calculus

haskell interpreter lamda-calculus

Last synced: 23 Jan 2025

https://github.com/simonmichael/hledgersnapshot

A temporary history-less snapshot of the "hledger" repo, small enough to be imported at https://repl.it

haskell hledger

Last synced: 08 Feb 2025

https://github.com/spydr06/libgccjit-haskell

Safe Haskell bindings for the `libgccjit` library

cabal gcc gcc-complier gnu gpl gplv3 haskell haskell-language haskell-library libgcc libgccjit library

Last synced: 16 Jan 2025

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

Haskell bindings for the Pocket API

haskell pocket pocket-api

Last synced: 11 Nov 2024

https://github.com/jpvillaisaza/licensor

A license compatibility helper for Haskell

haskell

Last synced: 11 Nov 2024

https://github.com/ip2location/ip2proxy-haskell

IP2Proxy Haskell package allows users to query an IP address to determine if it was being used as open proxy, web proxy, VPN anonymizer and TOR exits.

haskell ip2proxy ip2proxy-haskell open-proxies proxy-database tor-exits web-proxies

Last synced: 27 Jan 2025

https://github.com/thumphries/evernote-thrift

Evernote Haskell bindings generated by Apache Thrift

evernote haskell thrift

Last synced: 22 Jan 2025

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

Haskell stats and graphs

hackage haskell mathematica r scraper

Last synced: 06 Feb 2025

https://github.com/rudymatela/hspec-leancheck

LeanCheck support for the Hspec test framework.

haskell hspec leancheck testing testing-framework testing-tools

Last synced: 16 Nov 2024

https://github.com/mcfilib/dropcure

Toy project demonstrating WebSockets in Haskell

haskell websockets

Last synced: 15 Jan 2025

https://github.com/smddzcy/learning-new-technologies

My learning process of new technologies.

docker elixir firebase golang haskell heroku learning learning-by-doing learning-exercise phoenix prolog purescript react-native tensorflow vuejs

Last synced: 16 Jan 2025

https://github.com/dridus/slack-emoji-tools

haskell slack stack

Last synced: 10 Dec 2024

https://github.com/tokisakikurumi2001/frequency_of_char_in_string

Calculate the frequency of characters in string

c csharp haskell java javascript objective-c perl6 php python ruby swift4 vuejs

Last synced: 15 Feb 2025

https://github.com/m4lvin/gomoche

🗣️📞 Gossip Model Checking

distributed-systems epistemic-logic gossip haskell model-checking protocol

Last synced: 12 Feb 2025

https://github.com/neu-rah/algo

symbolic math / computer algebra experiments

algebra haskell math symbolic symbolic-computation

Last synced: 14 Feb 2025

https://github.com/danielholmes/neural-net

Simple Neural Net implementation in Haskell

haskell machine-learning neural-net neural-network

Last synced: 10 Feb 2025

https://github.com/bradrn/cellular-automata

A Haskell library for cellular automata

cellular-automata cellular-automaton cellular-automatons haskell haskell-library library

Last synced: 06 Feb 2025

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

The missing cookbook for serverless-haskell

haskell

Last synced: 22 Jan 2025

https://github.com/vmchale/lzlib

lzlib bindings for Haskell

compression ffi ffi-bindings haskell haskell-library lzlib lzlib-bindings

Last synced: 08 Jan 2025

https://github.com/cdepillabout/focuslist

A Haskell data structure for lists with a focus

data-structure focus hacktoberfest haskell list

Last synced: 14 Nov 2024

https://github.com/matrixai/hs-http2stream

A HTTP2 Multiplexer for Haskell designed for LibP2P

haskell http2 libp2p multiplexer

Last synced: 24 Jan 2025

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/mquaresma/sokoban

Sokoban transport puzzle game written in Haskell

functional-programming game gloss haskell puzzle sokoban

Last synced: 25 Dec 2024

https://github.com/alhassy/design-patterns-higher-order

Notes & implementations of the code within Jeremy Gibbons' ``Design Patterns as Higher-Order Datatype-Generic Programs''; notably focus on multibranching trees and their BDS.

cheatsheet design-patterns haskell higher-order-functions java

Last synced: 25 Dec 2024

https://github.com/deemp/projects

Some of my projects in a single repo

blockchain haskell helm scala

Last synced: 11 Jan 2025

https://github.com/lupino/yuntan-article

The core source of huabot.com

haskell microservice microservices

Last synced: 22 Jan 2025

https://github.com/elycruz/haskell-by-multimedia

"Haskell School of Expression" - "Functional Programming through Multimedia" book examples.

cabal glfw hackage haskell haskell-school multimedia opengl soe

Last synced: 22 Jan 2025

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

A Micro service gateway.

gateway haskell microservice microservices

Last synced: 22 Jan 2025

https://github.com/srid/tagtree

Haskell library for representing hierarchical tags

haskell tags

Last synced: 27 Dec 2024

https://github.com/deemp/lima

Convert between Haskell, Literate Haskell, Markdown, TeX

haskell latex markdown

Last synced: 11 Jan 2025

https://github.com/andreasabel/applicative

Haskell's applicative functors are multi-category functors

applicative-functors equational-reasoning haskell multi-functor

Last synced: 25 Dec 2024

https://github.com/andrewnetwork/neuralnetworkswithhaskell

Neural Networks with Haskell. Given as the Feb 2018 talk to Danbury AI.

deep-learning haskell neural neural-network

Last synced: 23 Dec 2024

https://github.com/monksc/cacheskell

This is my functional programming language that looks like Haskell but it cache every function.

custom-language functional-programming haskell interpreter language programming-languages rust rust-lang

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: 14 Feb 2025

https://github.com/angerman/data-bitcode-edsl

Data.BitCode.EDSL

bitcode haskell llvm

Last synced: 26 Dec 2024

https://github.com/halogenandtoast/lightsout

Lights out implementation in Haskell

haskell

Last synced: 12 Feb 2025

https://github.com/szymon-budziak/functional_programming_course_agh

Solutions from Functional programming course at AGH UST. If you use it and it helped you please leave a star ⭐

functional-programming haskell

Last synced: 25 Jan 2025

https://github.com/drapegnik/rsschool-fp

:zap: Functional Programming Course

church-encoding fp functional-programming haskell lambda-calculus rolling-scopes-school

Last synced: 12 Feb 2025

https://github.com/scriptim/adventofcode2023

My solutions for the Advent Of Code 2023 challenge written in Python and Haskell

advent-of-code advent-of-code-2023 advent-of-code-2023-haskell advent-of-code-2023-python adventofcode coding-challenges haskell python

Last synced: 25 Dec 2024

https://github.com/3noch/reflex-dom-semantic-ui-core

A core binding to Semantic UI for Reflex-DOM meant to be a common basis for more friendly API designs

bindings haskell javascript reflex-frp semantic-ui

Last synced: 26 Dec 2024

https://github.com/hasufell/streamly-posix

Posix related streaming APIs (such as file reading/writing)

haskell posix streaming

Last synced: 28 Jan 2025

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/hirotoshioi/scrapbox

Scrapbox parser and renderer

haskell markdown parser scrapbox

Last synced: 22 Jan 2025

https://github.com/hirotoshioi/phantomtype

Example of PhantomType

haskell phantom-types

Last synced: 22 Jan 2025

https://github.com/hapytex/css-selectors

A library for parsing, manipulating, and rendering css selectors (not css files, just the selectors).

css-selector haskell quasiquoter

Last synced: 16 Nov 2024

https://github.com/scriptim/adventofcode2022

My solutions for the Advent Of Code 2022 challenge written in Haskell

advent-of-code advent-of-code-2022 advent-of-code-2022-haskell advent-of-code-haskell adventofcode adventofcode2022 coding-challenge haskell

Last synced: 25 Dec 2024

https://github.com/matheusamazonas/cc_project

Compiler Construction Project

compiler compiler-construction haskell

Last synced: 13 Feb 2025

https://github.com/lancelet/raindrop

2D renderer

2d canvas graphics haskell renderer

Last synced: 13 Jan 2025

https://github.com/prikhi/mybooklist

A Library & Wishlist Tracker for your Books.

books haskell library wishlist

Last synced: 17 Jan 2025

https://github.com/prikhi/advent-of-code-2023

Advent of Code 2023 in Haskell

advent-of-code advent-of-code-2023 advent-of-code-2023-haskell haskell

Last synced: 17 Jan 2025

https://github.com/lucasplopes/uri

c competitive-programming cpp go hacktoberfest haskell java kotlin python sql uri

Last synced: 02 Feb 2025

https://github.com/romac/him

:fountain_pen: A text editor written in Haskell (WIP)

haskell text-editor

Last synced: 24 Dec 2024

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

Toy Language Interpreter

haskell interpreter java rust toy-language

Last synced: 30 Jan 2025

https://github.com/gustavoaca1997/basic-tran-interpreter

Un interpretador de BasicTran

alex grammar happy haskell interpreted-programming-language interpreter lexer parser

Last synced: 28 Jan 2025

https://github.com/eggy115/haskell

Haskell

haskell

Last synced: 05 Jan 2025

https://github.com/cblp/haskell-guide

Haskell Language Map

education guide haskell

Last synced: 01 Jan 2025

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

svg drakon diagrams

diagram drakon drakon-diagrams haskell

Last synced: 12 Nov 2024

https://github.com/cblp/rif18

Мастер-класс по Хаскелю для РИФ.ТЕХ 2018

beginners-guide haskell masterclass

Last synced: 01 Jan 2025

https://github.com/hanzopgp/haskelltest

First time using functional programming language.

functional-programming haskell university

Last synced: 16 Jan 2025

https://github.com/marhop/xml-processing

Examples for XML processing in different programming languages

exercise haskell programming-exercise python xml xml-processing xmlstarlet xslt

Last synced: 01 Jan 2025

https://github.com/taktoa/inference

Experiments in dependent type inference

dependent-types experimental haskell

Last synced: 22 Jan 2025

https://github.com/fosskers/uss-endeavour

Core computation engine for the United Space Ship Endeavour.

extensible-effects freer-effects haskell

Last synced: 01 Jan 2025

https://github.com/nevrome/paagen

Experiments with the genotype data generators in xerxes

ancient-dna bioinformatics genotype-data haskell

Last synced: 14 Jan 2025

https://github.com/fosskers/mapart

Create artwork from satellite imagery.

haskell map-algebra

Last synced: 01 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/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/pablojorge/nmap-os-db-analyzer

Cluster OS fingerprints by similarity

graphviz haskell nmap visualization

Last synced: 15 Jan 2025

https://github.com/louisjenkinscs/functional-jvm-bytecode-interpreter

Proof-of-Concept Java Virtual Machine (JVM) Bytecode Interpreter written in Haskell

bytecode-interpreter functional-programming haskell interpreter java jvm jvm-bytecode proof-of-concept scala

Last synced: 13 Feb 2025

https://github.com/mryndzionek/hasscan

OpenCV document scanner in Haskell

document-scanner-app document-scanning haskell opencv opencv3

Last synced: 05 Jan 2025

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

7drl 7drl2017 game haskell roguelike

Last synced: 31 Dec 2024

https://github.com/srid/deux

Something something mind maps

dhall haskell reflex reflex-frp

Last synced: 27 Dec 2024

https://github.com/nevrome/shakeexperiment

An example how to use the Shake build system to define a simple, computational pipeline

blogpost haskell pipeline workflow-automation

Last synced: 14 Jan 2025

https://github.com/vrom911/common-stanzas-example

Example project to demonstrate the common stanzas feature

cabal common-stanzas dhall haskell haskell-examples

Last synced: 08 Jan 2025

https://github.com/haskell-hvr/base-encoding

Binary-to-text encodings

base16 base64 base64url haskell rfc4648

Last synced: 22 Jan 2025

https://github.com/573/static-haskell-cross-nix

Collection of articles / notes regarding cross compilation of static binaries (haskell) via nix

aarch64 cross-compile cross-platform haskell nix

Last synced: 26 Dec 2024

https://github.com/jwoudenberg/wai-feature-flags

Feature flag support for WAI applications.

feature-flags haskell wai

Last synced: 15 Jan 2025

https://github.com/incredibledevhq/incredible-dev-videos

Incredible dev videos is the repository to collaborate on dev videos posted on Incredible Devs official youtube channel https://www.youtube.com/channel/UCyyaPS9hiS3PvTn2Jz_g9SA .

dart elasticsearch graphql haskell java matlab rust shell-script tensorflow tutorials videos

Last synced: 22 Jan 2025

https://github.com/aionescu/uu-mpsv-gcl-verifier

GCL verification tool based on predicate transformers

haskell program-verification wlp z3

Last synced: 30 Jan 2025

https://github.com/vaclavsvejcar/svejcar-dev

🌐 Source code of personal website based on Hakyll

blog hakyll haskell

Last synced: 13 Feb 2025

https://github.com/nwtgck/8cc-elc-hs

C Compiler written in Haskell powered by 8cc and ELVM

c compiler haskell

Last synced: 06 Feb 2025

https://github.com/emptywork/functional-programming

General purpose repository for learning purely-function languages.

functional functional-programming general-purpose haskell haskell-learning purely-functional purescript

Last synced: 09 Jan 2025

https://github.com/stla/elliptic

Elliptic integrals with complex arguments

elliptic-integrals haskell special-functions

Last synced: 06 Feb 2025

https://github.com/taktoa/tsbannergen

An MPD banner generator for TeamSpeak

banner-generator haskell teamspeak3

Last synced: 22 Jan 2025

https://github.com/lev135/bidirectional-instances

This package contains class for bidirectional instances and TH methods for generating instances for it.

haskell language

Last synced: 10 Feb 2025

https://github.com/abhiroop/snape

A distributed scheduler. [WIP]

distributed-computing haskell parallel-computing

Last synced: 24 Jan 2025

https://github.com/prikhi/nand2tetris

Working Through Nand2Tetris Projects in Haskell

haskell nand2tetris nand2tetris-assignments nand2tetris-projects

Last synced: 17 Jan 2025

https://github.com/adomokos/sandbox-hs

A repo to try out ideas, tutorials.

errors haskell json xml

Last synced: 31 Dec 2024

https://github.com/unorsk/hiss2

A CLI for learning words and tracking progress

cissp cli flashcards haskell

Last synced: 13 Feb 2025

https://github.com/stla/opengl-steiner

Hierarchical Steiner chain with Haskell OpenGL

haskell opengl

Last synced: 06 Feb 2025

https://github.com/prikhi/shopify-to-avatax

Convert Shopify Order Exports into AvaTax Transansaction Imports

avalara avalara-avatax export haskell import order script shopify transaction

Last synced: 17 Jan 2025

https://github.com/stla/owen

Evaluation of the Owen T-function and the Owen Q-function.

haskell special-functions

Last synced: 06 Feb 2025

https://github.com/stla/skewtableaux

Skew tableaux

combinatorics haskell r

Last synced: 06 Feb 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/tokisakikurumi2001/reversing_number

Reverse the number by different approaches in many programming languages(that I know)

arduino batch-script c-and-rust csharp-and-java dart2 golang haskell haxe javascript-and-typescript julia memsql-and-sql nim-lang objective-c perl5 php7 polyglot-programming prolog-and-lisp python3 ruby swift5-and-kotlin

Last synced: 22 Jan 2025

https://github.com/stla/hcdt

Constrained and unconstrained Delaunay triangulation.

cdt delaunay-triangulation haskell

Last synced: 06 Feb 2025

https://github.com/oswald2/chart-fltkhs

FLTKHS backend for the Chart Haskell library.

chart fltk fltkhs haskell

Last synced: 08 Jan 2025

https://github.com/psychedelicshayna/language-learning

My place for storing learning resources and useful information about programming languages.

educational functional-programming haskell haskell-learning learning learning-functional-programming learning-resources playground

Last synced: 11 Jan 2025