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-12-28 00:08:14 UTC
- JSON Representation
https://github.com/topliceanu/learn
Learn CS by doing!
algorithms c elm golang haskell javascript ocaml python ruby rust
Last synced: 16 Nov 2024
https://github.com/risingfisan/programacao-funcional
Contém todas as fichas relativas à cadeira de Programação Funcional, do ano letivo 2018/19, e resoluções de testes e exames de anos anteriores.
exames fichas functional-programming haskell lei miei pf programacao-funcional resolucao resolucoes solucao solucoes testes uminho
Last synced: 16 Dec 2024
https://github.com/risto-stevcev/haskell-church-encodings
:cyclone: Church encodings written in Haskell
church church-encodings encoding encodings haskell numerals
Last synced: 09 Nov 2024
https://github.com/matterhorn-chat/mattermost-api
Client side API for communicating with a mattermost server in Haskell
api haskell library mattermost mattermost-chat
Last synced: 07 Nov 2024
https://github.com/srid/Taut
An ambitious Slack JSON export viewer.
haskell obelisk reflex reflex-frp slack
Last synced: 12 Nov 2024
https://github.com/softwarefactory-project/matrix-client-haskell
Matrix.org haskell client library
Last synced: 12 Nov 2024
https://github.com/taktoa/narfuse
A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.
fuse-filesystem haskell ipfs nar nix nixos
Last synced: 12 Oct 2024
https://github.com/valderman/ghc-simple
Simplified interface to the GHC API
Last synced: 14 Oct 2024
https://github.com/themattchan/core
SPJ's tutorial on implementing functional languages
g-machine haskell lazy-evaluation
Last synced: 30 Nov 2024
https://github.com/epicallan/servant-errors
Servant Errors wai-middleware
haskell middleware servant servant-errors
Last synced: 24 Dec 2024
https://github.com/laserpants/hashids-haskell
:zap: Haskell port of the Hashids library. :zap:
Last synced: 28 Oct 2024
https://github.com/qnikst/ghc-timings-report
Experimental tool to build reports on GHC build time for your projects.
Last synced: 08 Nov 2024
https://github.com/srid/rib-sample
Sample site for the Rib static site generator
clay haskell lucid pandoc shake static-site-generation template
Last synced: 28 Oct 2024
https://github.com/srid/taut
An ambitious Slack JSON export viewer.
haskell obelisk reflex reflex-frp slack
Last synced: 28 Oct 2024
https://github.com/srid/reflex-stone
Template repository for writing GHCJS/Reflex apps targeting static sites without a backend.
haskell reflex-frp static-site
Last synced: 28 Oct 2024
https://github.com/pelock/stringencrypt-webapi
String Encryption and File Encryption for C/C++, C#, Visual Basic .NET, Delphi/Pascal/Object Pascal, Java, JavaScript, Python, Ruby, AutoIt, PowerShell, Haskell, MASM, FASM programming languages.
autoit cpp csharp delphi encrypted-strings encryption fasm file-encryption haskell java javascript js masm object-pascal pascal powershell python ruby string-encryption visual-basic-net
Last synced: 04 Dec 2024
https://github.com/hasufell/stack2cabal
Convert stack projects to cabal.project + cabal.project.freeze
Last synced: 07 Nov 2024
https://github.com/gregorias/rummikubsolver
A solver for the Rummikub board game
haskell rummikub rummikub-solver
Last synced: 20 Nov 2024
https://github.com/dmjio/bittrex
:money_with_wings: Haskell bindings to the Bittrex cryptocurrency exchange
bittrex bittrex-exchange cryptocoins cryptocurrency haskell
Last synced: 16 Nov 2024
https://github.com/tfausak/lackey
:gem: A Haskell library for generating Ruby consumers of Servant APIs.
Last synced: 18 Nov 2024
https://github.com/concordium/concordium-base
Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well as some tools used for testing and development.
blockchain cryptography haskell rust wasm zero-knowledge-proofs
Last synced: 29 Dec 2024
https://github.com/l-as/procex
Ergonomic process launching with extreme flexibility and speed (compared to shh)
Last synced: 19 Nov 2024
https://github.com/parsonsmatt/persistent-typed-db
A type and helpers for typesafe SQL access in the presence of many databases.
Last synced: 02 Nov 2024
https://github.com/lysxia/generic-data-surgery
Surgery for generic data types
Last synced: 07 Nov 2024
https://github.com/bradrn/cabasa
A generic 2D cellular automaton simulator
cellular-automata cellular-automaton cellular-automatons gui haskell haskell-application
Last synced: 13 Dec 2024
https://github.com/bartavelle/hruby
Embed Ruby in your Haskell program.
embed embedded haskell interpreter ruby
Last synced: 28 Oct 2024
https://github.com/jtdaugherty/tracy
A Haskell ray tracer largely based on http://www.raytracegroundup.com/
graphics haskell linear-algebra multi-core multi-host ray-tracer tracer
Last synced: 13 Oct 2024
https://github.com/louisjenkinscs/llvm-jvm
[W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
bytecode educational haskell interpreter java java-bytecode jvm language monad monadic scala virtual-machine
Last synced: 02 Nov 2024
https://github.com/dmjio/lc3
:floppy_disk: The LC3 virtual machine
assembly haskell instruction-set-architecture lc3 opcodes virtual-machine
Last synced: 16 Nov 2024
https://github.com/mesabloo/jellyvm
A VM written following the Linear Abstract Machine architecture
haskell linear-abstract-machine linear-programming rust vm
Last synced: 19 Nov 2024
https://github.com/bgamari/the-thoralf-plugin
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
ghc haskell smt typechecker-plugin
Last synced: 28 Oct 2024
https://github.com/viglioni/lang-studies
Repo with algorithms or small projects in some languages I am studying
Last synced: 21 Nov 2024
https://github.com/reflex-frp/reflex-dom-semui
A reflex-dom API for Semantic UI components
frp functional-reactive-programming haskell reactive reflex-frp
Last synced: 11 Nov 2024
https://github.com/fosskers/kanji
Haskell suite for determining what 級 (level) of the 漢字検定 (national Kanji exam) a given Kanji belongs to.
Last synced: 08 Nov 2024
https://github.com/burz/feval
evaluation using f-algebras
algebras category-theory evaluation functor haskell interpreter
Last synced: 12 Oct 2024
https://github.com/keera-studios/haskell-titan
Testing Infrastructure for Temporal AbstractioNs
debugging frp functional-programming functional-reactive-programming haskell quickcheck record-and-replay testing visual-debugging
Last synced: 12 Oct 2024
https://github.com/csabahruska/manual-stg-experiment
Manually constructed STG programs compiled with the standard GHC codegen backend.
codegen compiler functional-programming ghc haskell llvm machine-code stg x64
Last synced: 07 Nov 2024
https://github.com/hasky-mode/hasky-extensions
Toggle Haskell language extensions from Emacs
emacs haskell language-extensions
Last synced: 22 Nov 2024
https://github.com/zoedsoupe/estrutura_de_dados
:brazil: Implementações dos princípios básicos e intermediários de Estrutura de Dados em Haskell!
data-structures estrutura-de-dados functional-programming haskell programacao-funcional
Last synced: 30 Oct 2024
https://github.com/chouffe/haskell-bazaar
Explore haskell and functional programming concepts
fp functional-programming haskell haskell-bazaar search
Last synced: 19 Nov 2024
https://github.com/turbomack/planning-game
Planning tool for remote teams written in Haskell & Elm
Last synced: 16 Oct 2024
https://github.com/yitzchak/dicy
A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
agda biblatex haskell javascript knitr latex literate-programming pythontex reproducible-research sage typescript
Last synced: 30 Sep 2024
https://github.com/standardsemiconductor/veldt-getting-started
Where Lions Roam: Haskell & Hardware on VELDT
Last synced: 12 Nov 2024
https://github.com/aionescu/wasm-hs
Type-safe WebAssembly eDSL in Haskell
edsl haskell wasm web-assembly
Last synced: 02 Dec 2024
https://github.com/thoughtpolice/hs-ed25519
Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.
cryptography ed25519 hackage haskell
Last synced: 27 Oct 2024
https://github.com/michalkonecny/aern2
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
exact-reals haskell numerics polynomials
Last synced: 08 Nov 2024
https://github.com/simonmichael/quickbench
Easily time one or more commands with one or more executables and show tabular results
benchmarking cli haskell shell
Last synced: 12 Oct 2024
https://github.com/takenobu-hs/commandline-haskell
command-line Haskell with 'ghc -e'
Last synced: 07 Nov 2024
https://github.com/lpeterse/haskell-hummingbird
Multi-threaded MQTT broker written in Haskell.
broker haskell mqtt mqtt-broker
Last synced: 06 Nov 2024
https://github.com/someodd/waffle
Haskell Gopher Protocol TUI Client 🧇
gopher-client gopher-protocol haskell
Last synced: 16 Nov 2024
https://github.com/snapframework/xmlhtml
XML parser and renderer with HTML 5 quirks mode
haskell html-parser xml-parser
Last synced: 28 Dec 2024
https://github.com/mrkkrp/htaglib
Haskell bindings for TagLib, an audio meta-data library
Last synced: 18 Dec 2024
https://github.com/ludat/conferer
Configuration managment for haskell
configuration hackage hacktoberfest haskell
Last synced: 26 Dec 2024
https://github.com/kakkun61/ghcman
Switch GHC and Cabal quickly on PowerShell
cabal ghc hacktoberfest haskell powershell windows
Last synced: 02 Nov 2024
https://github.com/the-dr-lazy/cascade
A project management service with pure functional programming paradigm in the heart.
cascade haskell jira monday project-management trello
Last synced: 23 Oct 2024
https://github.com/mercurytechnologies/hs-temporal-sdk
Unofficial Temporal Haskell SDK
haskell haskell-library temporal
Last synced: 12 Nov 2024
https://github.com/twesterhout/halide-haskell
Haskell bindings to Halide
gpu halide haskell high-performance-computing jit
Last synced: 27 Oct 2024
https://github.com/xldenis/ill
educational compiler for not (quite) toy languages
compiler functional-languages haskell haskell- language laziness
Last synced: 22 Oct 2024
https://github.com/freckle/stack-action
GitHub Action to build, test, and lint Stack-based Haskell projects
Last synced: 27 Dec 2024
https://github.com/chris-martin/haskell-libraries
Incubator for my Haskell libraries
Last synced: 28 Oct 2024
https://github.com/astynax/hemmet
Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff
bem cli emmet hacktoberfest hacktoberfest2022 haskell snippets templating
Last synced: 23 Dec 2024
https://github.com/dmjio/LC3
:floppy_disk: The LC3 virtual machine
assembly haskell instruction-set-architecture lc3 opcodes virtual-machine
Last synced: 08 Nov 2024
https://github.com/leventerkok/cracknum
Convert to/from IEEE-754 HP/SP/DP formats
floating-point haskell ieee754
Last synced: 25 Dec 2024
https://github.com/kowainik/trial
⚖️ Trial Data Type
data-structures hacktoberfest haskell haskell-library
Last synced: 12 Nov 2024
https://github.com/fosskers/versions
Haskell types and parsers for software version numbers.
Last synced: 16 Nov 2024
https://github.com/noughtmare/hypercube
Minecraft clone in haskell focussed on performance.
game haskell minecraft-clone opengl voxel
Last synced: 07 Nov 2024
https://github.com/shrynx/reasonz
A Haskell fan fiction for ReasonML
functor haskell monad reasonml typeclasses
Last synced: 11 Dec 2024
https://github.com/csabahruska/demoscene
Demoscene: Lambda Team
demoscene engine3d graphics-3d haskell
Last synced: 07 Nov 2024
https://github.com/hercules-ci/warp-systemd
Socket activation and other systemd integration for the Warp web server (WAI)
haskell heartbeat socket-activation systemd wai warp
Last synced: 18 Dec 2024
https://github.com/ken-okabe/functional-programming-from-scratch-ja
Functional Programming From Scratch 日本語版
fsharp functional-programming functional-reactive-programming haskell learn-to-code learning mathematical-programming mathematics solidjs typescript verse
Last synced: 12 Oct 2024
https://github.com/skyzyx/alpine-pandoc
Docker container with Alpine Linux, Pandoc, PlantUML, and Sphinx.
alpine-linux container docker documentation haskell java pandoc plantuml python sphinx
Last synced: 29 Oct 2024
https://github.com/fosskers/vectortiles
A native Haskell codec for Mapbox Vector Tiles.
Last synced: 08 Nov 2024
https://github.com/siraben/r5rs-denot
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
denotational-semantics haskell monad-transformers r5rs-scheme scheme scheme-interpreter
Last synced: 23 Oct 2024
https://github.com/ilyasergey/monadic-cfa
Generic implementation of different CFA families based on monadic decomposition
abstract-interpretation haskell k-cfa monads static-analysis
Last synced: 05 Dec 2024
https://github.com/dfordivam/reflex-websocket-interface
A simple to use interface for websocket using reflex-frp
Last synced: 07 Nov 2024
https://github.com/obsidiansystems/beam-automigrate
Generated migrations for beam databases
beam database haskell migration
Last synced: 07 Nov 2024
https://github.com/tfausak/imp
:smiling_imp: Automatically import Haskell modules.
Last synced: 28 Oct 2024
https://github.com/foreverbell/project-euler-solutions
Project Euler solutions in Haskell.
Last synced: 15 Nov 2024
