haskell
Topic

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.

Repositories (1224)

nanohs
nanohs bkomuves Haskell

a self-hosting lambda calculus compiler

37
inflections-hs
inflections-hs mpscholten Haskell

Rails-like inflections for Haskell

37
slack-web
slack-web MercuryTechnologies Haskell

Haskell bindings for the Slack web API

37
clod
clod fuzz Haskell

Efficiently manage Claude AI projects--save half off your API bill with this one weird trick

37
GPT2-Hasktorch
GPT2-Hasktorch theosorus Haskell

GPT2 implementation in Haskell with the Hasktorch library, inspired by Andrej Karpathy's Pytorch implementation.

37
cobalt
cobalt Michael2109 Scala

The Cobalt programming language

36
ltext
ltext ltext Haskell

λtext - higher-order file applicator

36
libmpd-haskell
libmpd-haskell vimus Haskell

A client library for MPD, the Music Player Daemon

36
Ombra
Ombra lprez Haskell

Graphics engine written in Haskell.

36
postgresql-pure
postgresql-pure iijlab Haskell

a PostgreSQL client library implemented with pure Haskell

36
shakespeare-mode
shakespeare-mode CodyReichert Emacs Lisp

An emacs major mode for editing hamlet, lucius, and julius files

36
mltool
mltool aligusnet Haskell

Machine Learning Toolbox

36
functional-programming-babelfish
functional-programming-babelfish hakonrossebo Elm

A cheat sheet for finding similar concepts and operators in different functional languages

36
WangsAlgorithm
WangsAlgorithm joom Haskell

A classical propositional theorem prover in Haskell, using Wang's Algorithm.

36
lagoon
lagoon tweag Haskell

Data centralization tool

36
clash-playground
clash-playground thoughtpolice Haskell

A Clash playground/starter kit, using Nix

36
type-natural
type-natural konn Haskell

Type-level well-kinded natural numbers.

36
qhs
qhs itchyny Haskell

SQL queries on CSV and TSV files

36
mips-simulator
mips-simulator skyzh Haskell

💻 A 5-stage pipeline MIPS CPU design in Haskell.

36
StrictCheck
StrictCheck plaidfinch Haskell

Keep your laziness in check!

36
jrec
jrec juspay Haskell

Literally the best anonymous records

36
iohk-monitoring-framework
iohk-monitoring-framework input-output-hk Haskell

This framework provides logging, benchmarking and monitoring.

36
cardano-dex-contracts
cardano-dex-contracts spectrum-finance Haskell

Smart contracts and specification of the AMM protocol on top of the Cardano blockchain

36
cardano-haskell-packages
cardano-haskell-packages IntersectMBO Shell

Metadata for Cardano's Haskell package repository

36
tasty-discover
tasty-discover decentral1se

Haskell test discovery for the tasty framework :eyes:

35
lsp-test
lsp-test lukel97 Haskell

A functional test framework for LSP servers

35
haskellrustdemo
haskellrustdemo creichert Makefile

Example Integration for Embedding Rust in Haskell

35
pureli
pureli soupi Haskell

A purely functional, dynamically typed, parallel evaluated Lisp-like programming language

35
hs-quake-3
hs-quake-3 ocharles Haskell

Quake 3 map viewer written in Haskell

35
ray-marching-distance-fields
ray-marching-distance-fields blitzcode Haskell

Haskell and GLSL program containing my distance field / ray marching related experiments

35
haskell-ghc-reading-guide
haskell-ghc-reading-guide takenobu-hs

Haskell GHC reading guide

35
convoluted
convoluted jonascarpay Haskell

Dependently typed convolutional neural networks

35
three-wise-monkeys
three-wise-monkeys vivshaw Haskell

You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?

35
chessIO
chessIO mlang Haskell

Fast haskell chess move generator library and console UCI frontend

35
dickinson
dickinson vmchale Haskell

Text generation language

35
ulid
ulid haskell-github-trust Haskell

Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)

35
Violet
Violet losfair Haskell

Superscalar RISC-V processor written in Clash.

35
curry-language-server
curry-language-server fwcd Haskell

IDE support for the functional logic programming language Curry

35
pty-mcp-server
pty-mcp-server phoityne Haskell

pty-mcp-server

35
fn
fn positiondev Haskell

A functional web framework

34
yh
yh soupi Haskell

a tech demo for a bullet hell game. for the full game visit https://gilmi.me/nyx

34
hadui
hadui complyue Haskell

Web front UI for interactive Haskell projects

34
hsudoku
hsudoku mmsbrggr Haskell

A native gtk sudoku game written in haskell

34
reflex-todomvc
reflex-todomvc reflex-frp Haskell

Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pur...

34
purescript-pop
purescript-pop lettier PureScript

:smiley: A functional reactive programming (FRP) demo created with PureScript events and behaviors.

34
crjdt-haskell
crjdt-haskell amarpotghan Haskell

A Conflict-Free Replicated JSON Datatype for Haskell

34
line-bot-sdk
line-bot-sdk moleike Haskell

🍥 Haskell向けLINE Messaging API SDK

34
kepler
kepler f-o-a-m Haskell

A Haskell framework that facilitates writing ABCI applications

34
FuncMorph
FuncMorph sam46 Haskell

Crazy figures and animations with Haskell

34
hastodon
hastodon syucream Haskell

mastodon client module for Haskell

34