Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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.

https://github.com/luispedro/safeio

Haskell Library for safe (atomic) IO

haskell io

Last synced: 22 Jan 2025

https://github.com/positiondev/larceny

An HTML5 templating language.

haskell html templating-language

Last synced: 15 Nov 2024

https://github.com/farbodsz/confluence-cli

Command line interface using Atlassian Confluence REST API.

atlassian-confluence cli command-line-interface confluence confluence-api haskell

Last synced: 11 Jan 2025

https://github.com/oswald2/esa-space-protocols

A Haskell library for handling space protocols from ESA (CCSDS,PUS, ...)

ccsds esa haskell missioncontrol nctrs pus

Last synced: 16 Jan 2025

https://github.com/ajlopez/husky

Haskell-like interpreter in C#. WIP.

csharp dotnet haskell interpreter

Last synced: 28 Jan 2025

https://github.com/prateekkumarweb/haskell-go-checkers

Go and checkers game in Haskell

checkers gogame haskell

Last synced: 23 Jan 2025

https://github.com/sofianedjerbi/haskellconnect

Connect 4 game implemented in Haskell with Gloss + minimax opponent.

game haskell minimax-algorithm

Last synced: 01 Jan 2025

https://github.com/m-col/gitja

Templated web page generator for your git repositories 🐙

git haskell jinja2 self-hosted static-site static-site-generator

Last synced: 10 Jan 2025

https://github.com/guiltydolphin/angle

A small, general-purpose programming language written in Haskell.

haskell programming-language

Last synced: 13 Jan 2025

https://github.com/risto-stevcev/haskell-karatsuba-multiplication

:abcd: λ Karatsuba multiplication implemented in Haskell

algorithm haskell karatsuba multiplication

Last synced: 02 Jan 2025

https://github.com/vapourismo/simpoole

Simple resource pool implementating in Haskell

haskell haskell-library pool

Last synced: 09 Nov 2024

https://github.com/radrow/radlang

A functional programming language intepreter with typeclasses, full type inference and lazy evaluation

haskell interpreter parsing programming-language

Last synced: 22 Jan 2025

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

🗿 Blockchain module written in Haskell 🗿

block blockchain ghci haskell module prelude

Last synced: 22 Dec 2024

https://github.com/t4ccer/exnihilo

Language agnostic project bootstraper

haskell project-management

Last synced: 05 Feb 2025

https://github.com/jmackie/staskell

👷‍♀️ Nix helpers for building static Haskell executables

haskell nix static-link-binary

Last synced: 07 Dec 2024

https://github.com/simeonhristov99/fmi_graduation_exams_information_systems

This repository holds solutions of the exams given to 4-th year Information Systems students graduating the Faculty of Mathematics and Informatics, Sofia.

cpp er-diagram haskell sql uml use-case-diagram

Last synced: 14 Nov 2024

https://github.com/twolodzko/hasch

Minimal Scheme implemented in Haskell

haskell lisp lisp-interpreter scheme scheme-interpreter

Last synced: 22 Dec 2024

https://github.com/0xpantera/halcyon

Compiler for a subset of C written in Haskell

c compilers haskell programming-languages

Last synced: 03 Dec 2024

https://github.com/syocy/haskell-day-syocy

Slides and source codes for two sessions in Haskell Day 2018 in Tokyo

concurrency haskell latex-document parallelism presentation-slides

Last synced: 16 Jan 2025

https://github.com/standardsemiconductor/veldt-blinker-clash

VELDT Blinker Example in Clash

clash fpga haskell veldt

Last synced: 12 Nov 2024

https://github.com/arthurxavierx/ebook-category-theory

Bartosz Milewski's Category Theory for Programmers as an eBook

book category-theory ebook functional-programming haskell types

Last synced: 21 Jan 2025

https://github.com/ncaq/debug-trace-var

You do not have to write variable names twice in Debug.Trace

haskell

Last synced: 18 Dec 2024

https://github.com/positiondev/offset

A haskell library that communicates with wordpress over its api.

haskell wordpress-api

Last synced: 15 Nov 2024

https://github.com/ncaq/string-transform

simple and easy haskell string transform

haskell haskell-library string

Last synced: 18 Dec 2024

https://github.com/lupino/haskell-hole

A hole to pass through the gateway. haskell version

haskell haskell-hole hole portforward proxy-server

Last synced: 22 Jan 2025

https://github.com/lupino/coin

A micro server of coin for website

haskell haskell-library microservice microservices

Last synced: 22 Jan 2025

https://github.com/kutyel/thinking-with-types

⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!

gadts haskell kotlin scala type-level type-theory types

Last synced: 07 Dec 2024

https://github.com/lyokha/nginx-log-plugin

Native Nginx logging from configuration files and Haskell handlers

binding haskell logging nginx web

Last synced: 09 Nov 2024

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

Mirror API of `Data.Yaml.Builder`

haskell hsyaml yaml

Last synced: 22 Jan 2025

https://github.com/natserract/tapi

Backend architecture representation in TLP

haskell learn typelevel-programming

Last synced: 09 Feb 2025

https://github.com/fused-effects/fused-effects-random

Random number generation for fused-effects.

effects haskell probabilistic-programming random

Last synced: 06 Nov 2024

https://github.com/ncaq/www.ncaq.net

ncaq website

hakyll haskell html web

Last synced: 18 Dec 2024

https://github.com/redneb/hs-linux-namespaces

haskell library to work with linux namespaces

haskell linux linux-namespaces virtualization

Last synced: 18 Nov 2024

https://github.com/simonmichael/symon

Minimal implementation(s) of the classic electronic memory game

game gamedev haskell ludum-dare memory-game

Last synced: 08 Feb 2025

https://github.com/jluttine/dbus-listen

Execute a command or a script on D-Bus signals

d-bus haskell

Last synced: 12 Nov 2024

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

The 1-tuple type or single-value "collection"

haskell

Last synced: 21 Nov 2024

https://github.com/notashelf/rafmonad

a monad is just a monad that is a monad as defined by a monad

haskell monad

Last synced: 26 Dec 2024

https://github.com/srid/motif

[WIP] A typed outliner

haskell outliner reflex tree

Last synced: 27 Dec 2024

https://github.com/maorleger/mastermind

Interactive Mastermind solver algorithm

elm game hask haskell mastermind solver

Last synced: 08 Feb 2025

https://github.com/isaacvando/cooklang-hs

A parser for the cook markdown language written in Haskell

cooklang haskell parser

Last synced: 11 Nov 2024

https://github.com/tusharad/haskell-examples

Collection of Concept-wise Haskell programs for learning.

functional-programming haskell

Last synced: 17 Dec 2024

https://github.com/pedro-manoel/plp

🎓 Repositório com as atividades práticas desenvolvidas ao longo da disciplina de paradigmas de linguagem de programação da UFCG

haskell plp prolog

Last synced: 28 Jan 2025

https://github.com/stla/haskellimages

Some images with Haskell (using the 'hip' library)

complex-functions domain-coloring elliptic-functions haskell hip

Last synced: 06 Feb 2025

https://github.com/iainmon/hslr

A GLSL language embedding in Haskell.

glsl haskell

Last synced: 04 Jan 2025

https://github.com/meditans/unification-sop

Haskell package that implements typed terms with logical variables in a prolog-style

generic-programming haskell logic-programming prolog

Last synced: 24 Jan 2025

https://github.com/hchasestevens/phonaesthemes

Automatic discovery of phonaesthemes using ConceptNet

haskell linguistics

Last synced: 12 Jan 2025

https://github.com/eloyekunle/haskell_snippets

Useful snippets and algorithms in Haskell

algorithms functional-programming hackerrank haskell

Last synced: 09 Feb 2025

https://github.com/simonmichael/aoc2018

My solutions for Advent of Code 2018 puzzles.

aoc aoc2018 exercises-solutions haskell

Last synced: 08 Feb 2025

https://github.com/f3r10/ana-compiler

Compiler written on haskell based on the course Compiler Construction (UCSD CSE 131). Lisp with types

build-your-own compiler haskell lisp-dialect sexpression-language types

Last synced: 24 Jan 2025

https://github.com/simonmichael/metapong

Experimental haskell pong-like game collaborative project.

game gamedev haskell haskell-game nomic pong-game

Last synced: 08 Feb 2025

https://github.com/mrkkrp/liaison

Nix as a configuration language

configuration-language haskell nix

Last synced: 19 Jan 2025

https://github.com/mrkkrp/modern-path

Type-safe path and file system operations with batteries included

filesystem haskell path

Last synced: 19 Jan 2025

https://github.com/jaalonso/i1m-cod-temas

Código Haskell de los temas del curso de I1M (Informática de 1º de Matemática).

haskell

Last synced: 01 Feb 2025

https://github.com/faculerena/algebra1haskell

Taller de algebra 1 - Principios de programacion funcional

haskell haskell-learning

Last synced: 12 Jan 2025

https://github.com/tek/uracil

neovim yank and paste manager

haskell history neovim nvim-hs paste ribosome yank

Last synced: 24 Jan 2025

https://github.com/michaelsproul/ssz-hs

Ethereum SSZ library for Haskell

ethereum haskell

Last synced: 09 Feb 2025

https://github.com/charukiewicz/charukiewicz

A personal blog, created using the Hakyll static site generator.

blog hakyll haskell html scss

Last synced: 24 Jan 2025

https://github.com/haskell-github-trust/vector-strategies

A parallel evaluation strategy for boxed vectors

haskell parallel vector

Last synced: 31 Jan 2025

https://github.com/cu1ch3n/type-inference-zoo

Implementations collection for type inference algorithms

functional-programming haskell programming-languages type-inference zoo

Last synced: 19 Jan 2025

https://github.com/figome/festung

Remote multi-db SQLCipher Server

haskell sqlcipher

Last synced: 25 Jan 2025

https://github.com/twesterhout/hdf5-hs

High-level Haskell bindings to HDF5

big-data data-format haskell scientific-computing

Last synced: 07 Feb 2025

https://github.com/nicolasbrugneaux/functional-javascript

Inspired by Haskell Prelude module, some helper functions.

curry haskell haskell-prelude javascript lodash underscore

Last synced: 09 Feb 2025

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

https://github.com/plapadoo/matrix-gitlab-bot

Listen for gitlab events (commits, issues, ...) and post them to matrix.org rooms

automation bot gitlab haskell http matrix riot-web

Last synced: 09 Feb 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/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/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: 08 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/avanov/nix-cabal-simplest

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

cabal-install haskell nixpkgs

Last synced: 07 Feb 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/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/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/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/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/eatingtomatoes/tiger-compiler

A simple compiler for (modified) tiger language

compiler haskell tiger

Last synced: 18 Jan 2025

https://github.com/symtegration/symtegration

Haskell library for symbolic integration.

haskell mathematics symbolic-integration

Last synced: 19 Jan 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/webcpu/haskellswift

A functional library for Swift programmers

functional-programming haskell swift

Last synced: 12 Jan 2025

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

Toy project with haskell

haskell jank snake

Last synced: 11 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/deltaq-sd/deltaq

Haskell libraries for ∆Q Systems Development

haskell networking performance system-design

Last synced: 19 Jan 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/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/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