๐ต๐ฑ Made in Poland
Discover Poland's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Poland.
TOP Haskell Projects
Paczesiowa/hsenv
Virtual Haskell Environment builder
Paczesiowa/virthualenv
Virtual Haskell Environment builder
CGenie/haskell-snake
Snake game implemetation in Haskell using SDL2
zyla/haskell-nullpointer
NullPointerExceptions in Haskell
wdanilo/haskell-logger
Fast & extensible logging framework for Haskell!
ivanjermakov/wordle
TUI version of the Wordle word puzzle game written in Haskell
neongreen/haskell-ex
(ARCHIVED) Haskell exercises I wrote for Haskell Learning Group
smichal/hs-logic
A simple library for Haskell that allows relational programming.
ArturGajowy/ghc-clippy-plugin
A helpful companion to GHC. Overrides GHC messages, to the user's liking.
mbenke/jnp3-haskell
Materiaลy do zajฤฤ JNP3 (grupa Haskell) na MIMUW
mryndzionek/composable-sdr
SDR DSP utilities embedded in Haskell
maciej-bendkowski/boltzmann-brain
Analytic sampler compiler for combinatorial systems
pkaleta/kivi
Lazy functional language compiler targeting LLVM.
bananu7/Hate
A small 2D game framework in Haskell, for Haskell
gleber/erlhask
Erlang VM reimplementation in Haskell
jakubfijalkowski/hsass
Integrating Sass into Haskell applications.
tilk/vocoder
Phase vocoder in Haskell
michalrus/intero-nix-shim
Intero Haskell IDE with Nix instead of Stack
sebnow/haskell-network-address
IP data structures and textual representation
swtwsk/vinci-lang
A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
maciej-bendkowski/generic-boltzmann-brain
Analytic sampler framework for algebraic data types
jakubfijalkowski/hlibsass
Low-level bindings to libsass for Haskell
jakubfijalkowski/haskell-and-cpp
Example on how to integrate Haskell and C++ library.
mryndzionek/kbdSVGGen
Atreus-like keyboard case generator
zyla/ceburilo
Find free VETURILO routes http://www.ceburilo.pl
byron-network/byron-dex
Byron Network implementation of Decentralized Exchange App
helvm/helma
๐ง ๐จ HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
marcin-rzeznicki/hspec-tables
Table-driven (by-example) HSpec tests
klangner/radium
Haskell library for chemistry
mulderr/haskell-wamp
WAMP v2 Basic Profile in Haskell
pawurb/haskell-pg-extras
Haskell PostgreSQL database performance insights. Locks, index usage, buffer cache hit ratios, vacuum stats and more.
zyla/type-level-web-server
tilk/yieldfsm
YieldFSM, a DSL for describing finite state machines in Clash
mprzewie/haspell
An awesome text-to-speech engine written in Haskell
wololock/programming-in-haskell-2nd-edition
paweln1986/assert4hs-core
swistak35/uwr_programming_light_side
Problems from programming course (light side version) on University of Wroclaw
klangner/timeseries
Time Series processing library
wjzz/agda-DTP-examples
marcin-rzeznicki/stackcollapse-ghc
Program to fold GHC prof files into flamegraph input
bandithedoge/shine
Very WIP Pandoc-based terminal renderer for multiple markup formats, inspired by https://github.com/charmbracelet/glow.
klangner/glider-nlp
NLP library for Haskell
mbenke/zpf2013
Zaawansowane Programowanie Funkcyjne 2013
swtwsk/beatle-interpreter
Interpreter of OCaml-inspired purely functional language with eager evaluation, written in Haskell for programming languages class
bananu7/Turnip
Pure Lua VM for Haskell
mbenke/zpf2012
Zaawansowane Programowanie Funkcyjne, MIMUW 2011
neongreen/to
neongreen/study-haskell
https://www.meetup.com/Study-Haskell
przembot/music-fun
Use neural network to predict further song chords
xyzzyz/FibBinet
Compute Fbonacci numbers using Binet's formula
gerardd33/Tidy
The Tidy programming language
Kamirus/typechecker
Ongoing implementation of the "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
SmartDev-0205/cardano-token-contract
DominikWolek/aoc_2020
My solutions for Advent of Code 2020
kleczkowski/bf
Just-in-time Brainfuck Interpreter
maciej-bendkowski/lambda-sampler
Boltzmann sampler utilities for lambda calculus
helvm/helms
๐ฌ โ๏ธ HelMS - Haskellish Esoteric Little Macro Schemer for Esoteric Languages implemented in Haskell
ArturB/multilinear
Efficient implementation of tensor-based AI engine for Haskell.
kamilc/Snaplet-Environments
Snap Framework ( http://snapframework.com ) support for having different configuration environments.
kfigiela/crime-report
tomi77/LearningHaskellDataAnalysis
Examples from "Learning Haskell Data Analysis"
imapp-pl/ethel
Ethel (ล) is a compiler for a simple programming language that generates code for the Ethereum Virtual Machine (EVM). Intended for use in testing EVM interpreters/compilers.
Abbath/Calculator
Advanced string calculator
unrooted/99HaskellProblems
my approach to 99HaskellProblems
vi/HsMkv
Simple matroska (mkv) demuxer and muxer written in Haskell
Killavus/Monads-ProgL
Monady i inne ลmieszki
4gn3s/learning-Haskell
notes and code learning functional programming in Haskell
mulderr/reflex-dom-lazy-grid
Lazy grid using Reflex
neongreen/untilbot
A bot for Telegram that makes you complete tasks
maciej-bendkowski/multiparametric-combinatorial-samplers
Auxiliary examples of combinatorial specifications amenable to multiparametric frequency tuning
radrow/i3hloc
Flexible scheduler for i3bar
kfigiela/saffire-mixer
kaszperro/Functional-programming-labs
Tasks from university
Avasil/agh-cat-intro
Exercises for Introduction to Category classes on AGH SMaDa
naliwajek/docker-haskell-yesod
Docker + Haskell + Yesod
styczynski/ocaml.hs
Tiny OCaml interpreter written in Haskell
thomoncik/advent-of-code-2020
Puzzle solutions for Advent of Code 2020
hjaremko/fi
Historical Fortran interpreter
TFKls/Heath
A simple scheme-like language.
easafe/haskell-breeze
Convert HTML into purescript-flame DSL
kploskonka/haskell-sardinas-patterson
Sardinas-Patterson algorithm implemented in Haskell.
pawelrubin/microscheme
Micro Scheme language and compiler for the LLVM platform written in Haskell.
helvm/heltc
๐ ๐ซ HelTC - Haskellish Esoteric Lambda True Calculator to Esoteric Languages implemented in Haskell
radrow/radlang
A functional programming language intepreter with typeclasses, full type inference and lazy evaluation
lsereda/lambda
Lambda term normalizer written in Haskell as a semester project for course Functional Programming at the Jagiellonian University
juliagoda/givenfind
Haskell module for finding questions, commands and data with symbols and units from exercises of different branches (for example - physics)
neongreen/hat
Host your own Hat game
smichal/ylang
Program zaliczeniowy z JiPP @ MIMUW
CGenie/HUGWaw
Haskell User Group Warsaw
kleczkowski/reservation-api
An example of Polysemy usage as architecture skeleton
neongreen/Spock-lucid
Lucid support for Spock
bananu7/Hate-UI
UI subsystem for the Hate framework.
mbenke/vera
Exploring prover ideas for intuitionistic logic
mulderr/reflex-dom-lazy-grid-example
Example of a lazy grid using reflex-dom
mpietrzak/yesod-purescript-sample
Sample for YesodPurescript
JakubGrobelny/purecraft
Purely functional 2D Minecraft clone [work in progress]
wreczek/ChurchNumerals
grzegorzbalcerek/chess-haskell
The game of Chess written in Haskell.
KatJon/jftt-compiler-18
End of semester project for "Formal Languages and Translation Theory" course
erykciepiela/java2haskell
A simple application explaining how to translate concepts from Java to Haskell