Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Haskell
Haskell is a functional (that is, everything is done with function calls), statically, implicitly typed (types are checked by the compiler, but you don’t have to declare them), lazy (nothing is done until it needs to be) language.
- GitHub: https://github.com/topics/haskell
- Wikipedia: https://en.wikipedia.org/wiki/Haskell_(programming_language)
- Repo: https://github.com/haskell
- Released: 1990
- Last updated: 2024-11-09 00:13:42 UTC
- JSON Representation
https://github.com/kiridi/inductive-haskell
Inductive Haskell
haskell inductive-learning inductive-program-synthesis program-synthesis
Last synced: 14 Oct 2024
https://github.com/simonmichael/aoc2018
My solutions for Advent of Code 2018 puzzles.
aoc aoc2018 exercises-solutions haskell
Last synced: 28 Oct 2024
https://github.com/simonmichael/breakout
A Breakout prototype, for exploring haskell game dev.
Last synced: 28 Oct 2024
https://github.com/micheleriva/caesar-cipher
👑 Dead Simple Caesar Cipher written in Haskell
caesar-cipher cipher cipher-algorithms haskell haskell-learning haskell-library
Last synced: 27 Oct 2024
https://github.com/simonmichael/metapong
Experimental haskell pong-like game collaborative project.
game gamedev haskell haskell-game nomic pong-game
Last synced: 28 Oct 2024
https://github.com/msakai/haskell-mip
Libraries for reading/writing MIP problem files, invoking external MIP solvers, etc. in Haskell
haskell mathematical-optimization mathematical-programming mixed-integer-programming
Last synced: 12 Oct 2024
https://github.com/prateekkumarweb/haskell-go-checkers
Go and checkers game in Haskell
Last synced: 29 Sep 2024
https://github.com/trskop/mainplate
Common patterns used for application main
Last synced: 28 Oct 2024
https://github.com/trskop/host-and-port
Data type and utilities for handling host name and port number pairs
haskell hostname network portnumber
Last synced: 28 Oct 2024
https://github.com/ardamose123/sparql-protocol
An SPARQL 1.1 Protocol client library for Haskell
Last synced: 12 Oct 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: 07 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: 06 Nov 2024
https://github.com/nicolasbrugneaux/hack-berry
Berry name generator
api api-server generator haskell random random-generation
Last synced: 29 Oct 2024
https://github.com/nicolasbrugneaux/functional-javascript
Inspired by Haskell Prelude module, some helper functions.
curry haskell haskell-prelude javascript lodash underscore
Last synced: 29 Oct 2024
https://github.com/obsidiansystems/plaid
Haskell client for Plaid
api-client haskell plaid-api plaid-link reflex-frp
Last synced: 07 Nov 2024
https://github.com/vaibhavsagar/git-internals-workshop
Script for constructing my own history.
git haskell interactive python
Last synced: 11 Oct 2024
https://github.com/edkolev/curry.vim
Helpers for writing Haskell in Vim, without any dependencies. (experimental)
Last synced: 31 Oct 2024
https://github.com/chris-martin/wordlist
command-line-application haskell haskell-application
Last synced: 28 Oct 2024
https://github.com/chris-martin/rory
Rory is a tool for deploying artifacts to a server.
haskell haskell-application server
Last synced: 28 Oct 2024
https://github.com/yvan-sraka/hs-bindgen-attribute
Handy macro to generate C-FFI bindings from Rust to Haskell.
Last synced: 27 Oct 2024
https://github.com/quytelda/babel
Random sequence generator written in Haskell.
cfg haskell language-model password-generator
Last synced: 07 Nov 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: 06 Nov 2024
https://github.com/lesves/toyrsa
A toy RSA implementation in Haskell (semestral project for non-procedural programming)
asymetric-cryptography haskell proof-of-concept rsa
Last synced: 12 Oct 2024
https://github.com/srid/deux
Something something mind maps
dhall haskell reflex reflex-frp
Last synced: 07 Nov 2024
https://github.com/robrix/distribution
Probability distributions à la Deriving a Probability Density Calculator by Wazim Mohammed Ismail & Chung-chieh Shan http://homes.soic.indiana.edu/ccshan/rational/pearl.pdf
haskell library probabilistic-programming
Last synced: 30 Oct 2024
https://github.com/andreasabel/applicative
Haskell's applicative functors are multi-category functors
applicative-functors equational-reasoning haskell multi-functor
Last synced: 06 Nov 2024
https://github.com/fosskers/uss-endeavour
Core computation engine for the United Space Ship Endeavour.
extensible-effects freer-effects haskell
Last synced: 08 Nov 2024
https://github.com/avanov/nix-cabal-simplest
The simplest Nix + Cabal setup possible, for demo purposes.
Last synced: 26 Oct 2024
https://github.com/stevemao/dep-haskell-stack
dependabot dependency github-actions haskell stack
Last synced: 07 Nov 2024
https://github.com/willfaught/thesis
Master's thesis
haskell language-theory ml scheme thesis
Last synced: 06 Nov 2024
https://github.com/danielholmes/neural-net
Simple Neural Net implementation in Haskell
haskell machine-learning neural-net neural-network
Last synced: 30 Oct 2024
https://github.com/g-r-a-n-t/haskell-playground
Exploration of math topics.
declarative functional haskell math
Last synced: 29 Oct 2024
https://github.com/meowgorithm/mr-env
A simple way to read environment variables in Haskell
Last synced: 12 Oct 2024
https://github.com/shal/odd-even-mergesort
:balance_scale: Blazing fast Batcher's sort algorithm
functional-programming haskell parallelism sorting
Last synced: 01 Nov 2024
https://github.com/memowe/trivialini
Ultra light weight ini file parser
config haskell haskell-library ini lightweight parser
Last synced: 06 Nov 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: 05 Nov 2024
https://github.com/aqrln/haskell-2048
Yet another clone of 2048 game. This time, in Haskell.
Last synced: 21 Oct 2024
https://github.com/nwtgck/8cc-elc-hs
C Compiler written in Haskell powered by 8cc and ELVM
Last synced: 25 Oct 2024
https://github.com/mquaresma/sokoban
Sokoban transport puzzle game written in Haskell
functional-programming game gloss haskell puzzle sokoban
Last synced: 06 Nov 2024
https://github.com/simeonhristov99/fp_cs_24-25
Practice sessions of group 1 for the course "Functional Programming" in the Faculty of Mathematics and Informatics, Sofia University.
functional-programming haskell higher-order-functions lambda-functions lazy-evaluation racket recursion
Last synced: 17 Oct 2024
https://github.com/yukiisbored/jago
🐔 Simplified markup language to author HTML pages.
haskell html markup-language parsec
Last synced: 07 Nov 2024
https://github.com/kevindasilvas/klang
Klang is a strongly typed, with type inference, imperative and immutable programming language that transpiles to js.
compiler compilers haskell javascript klang programming-language programming-languages transpiler
Last synced: 21 Oct 2024
https://github.com/drknzz/wolke-lang
☁️ Wolke language interpreter ☁️
bnfc haskell interpreter language syntax typechecker
Last synced: 05 Nov 2024
https://github.com/aidatorajiro/blockchain-haskell
A blockchain library for haskell.
bitcoin blockchain blockchain-technology haskell parse transaction
Last synced: 07 Nov 2024
https://github.com/lebrancworkshop/lebranc-learn-functional-programming
I'm learning a Functional Programming by learning its pure math concepts and apply it on functional language like Haskell, Clojure, Elixir, etc.
abstract-algebra category-theory clojure elixir fsharp functional-programming haskell homotopy-type-theory javascript lambda-calculus mathematics pure-mathematics racket scala theoretical-computer-science theory-of-computation type-theory typescript
Last synced: 12 Oct 2024
https://github.com/cblp/rif18
Мастер-класс по Хаскелю для РИФ.ТЕХ 2018
beginners-guide haskell masterclass
Last synced: 08 Nov 2024
https://github.com/turion/rhine-tutorial
A short presentation and tutorial app for the FRP framework Rhine (https://github.com/turion/rhine)
Last synced: 12 Oct 2024
https://github.com/sauravmaheshkar/playground
Algorithms, Data Structures, Leetcode, Niche Languages
c cpp-programming haskell leetcode nix-flake prolog python3 rust tracker-misc
Last synced: 15 Oct 2024
https://github.com/sternenseemann/grav2ty
2d space flight game with realistic physics
2d game gloss haskell haskell-game physics simulation space
Last synced: 12 Oct 2024
https://github.com/sternenseemann/emoji-generic
Haskell Emoji Library [WIP]
Last synced: 12 Oct 2024
https://github.com/romac/him
:fountain_pen: A text editor written in Haskell (WIP)
Last synced: 06 Nov 2024
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: 12 Oct 2024
https://github.com/epicallan/mini-servant
A mini haskell servant server clone for study purposes
haskell haskell-learning haskell-library servant
Last synced: 12 Oct 2024
https://github.com/drapegnik/rsschool-fp
:zap: Functional Programming Course
church-encoding fp functional-programming haskell lambda-calculus rolling-scopes-school
Last synced: 31 Oct 2024
https://github.com/mrkkrp/haskell-docker
A generic docker image for Haskell (CircleCI, etc.)
Last synced: 12 Oct 2024
https://github.com/matsubara0507/scrapbook
this is cli that collect posts of site that is wrote in config yaml using feed or scraping.
Last synced: 19 Oct 2024
https://github.com/mrkkrp/liaison
Nix as a configuration language
configuration-language haskell nix
Last synced: 12 Oct 2024
https://github.com/wololock/aoc2018
Advent of Code 2018 challenge with Haskell
advent-of-code advent-of-code-2018 haskell haskell-learning
Last synced: 30 Oct 2024
https://github.com/halogenandtoast/marvelchampions
A rules-compliant browser based version of Marvel Champions.
Last synced: 03 Oct 2024
https://github.com/ccntrq/starter-snake-haskell
A Haskell Battlesnake starter
Last synced: 12 Oct 2024
https://github.com/lev135/bidirectional-instances
This package contains class for bidirectional instances and TH methods for generating instances for it.
Last synced: 12 Oct 2024
https://github.com/halogenandtoast/lightsout
Lights out implementation in Haskell
Last synced: 03 Oct 2024
https://github.com/marceloboeira/euler
ƛ Project Euler solved in some different languages
c challenge euler euler-exercises euler-solutions functional-programming haskell math ruby
Last synced: 26 Oct 2024
https://github.com/ecthiender/birdism
Application to help identify birds and more
bird bird-watching ebird haskell nature species wildlife
Last synced: 11 Oct 2024
https://github.com/dfordivam/reflex-yesod-websockets
Toy app to try websockets with reflex and yesod
haskell reflex-frp websocket-client websocket-server websockets yesod
Last synced: 07 Nov 2024
https://github.com/takenobu-hs/haskell-wiki-search
Haskell wiki contents search for multiple wiki sites
Last synced: 07 Nov 2024
https://github.com/prikhi/mx-state-codes
ISO 3166-2:MX State Codes and Names
Last synced: 12 Oct 2024
https://github.com/herrhotzenplotz/lc
Untyped Lambda Calculus Interpreter in Haskell
haskell haskell-application interpreter lambda-calculus
Last synced: 14 Oct 2024
https://github.com/faheel/awesome-99-problems
A curated list of awesome Ninety-Nine Problems for various languages.
99-problems 99problems awesome awesome-list haskell java-8 kotlin lisp ninety-nine-problems prolog scala swift
Last synced: 12 Oct 2024
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: 12 Oct 2024
https://github.com/yurrriq/effective-haskell
Working though 'Effective Haskell' by Rebecca Skinner
Last synced: 12 Oct 2024
https://github.com/tatsuya6502/nikkei-linux-fp
erlang functional-programming haskell
Last synced: 15 Oct 2024
https://github.com/okmttdhr/beauty-of-haskell
Short code snippets for the beauty of Haskell.
algorithms functional-programming haskell snippets
Last synced: 19 Oct 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: 24 Oct 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: 15 Oct 2024
https://github.com/jwoudenberg/wai-feature-flags
Feature flag support for WAI applications.
Last synced: 12 Oct 2024
https://github.com/imalsogreg/workerbee
Demo Servant application for Haskell DC
Last synced: 18 Oct 2024
https://github.com/fichtefoll/advent-of-code
Solutions for the Advent of Code puzzle Advent calendar (in Rust & Haskell)
advent-of-code advent-of-code-2017 advent-of-code-2018 haskell rust
Last synced: 12 Oct 2024
https://github.com/cdboer/programmierung-ss19
📝 Übungsmaterialien für die Lehrveranstaltung Programmierung im Sommersemester 2019
functional-programming haskell imperative-programming lambda-calculus logic-programming prolog tu-dresden
Last synced: 18 Oct 2024
https://github.com/deryeger/minicheck
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
cli ctl-formulas haskell haskell-application ltl-formulas model-checking transition-systems tu-wien
Last synced: 28 Oct 2024
https://github.com/matubu/ft-turing
🎞️ A program written in Haskell to simulate a turing machine
Last synced: 01 Oct 2024
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: 13 Oct 2024
