New daily trending repos in Haskell

[vitalets]

Subscribe to this issue and stay notified about new daily trending repos in Haskell.

[github-trending-repos-bot]

New daily trending repos in Haskell!

haskell / security-advisories

iand675 / argo

[github-trending-repos-bot]

New daily trending repos in Haskell!

purescript / purescript A strongly-typed language that compiles to JavaScript +3 stars today

GaloisInc / curl A Haskell binding to the curl library

[github-trending-repos-bot]

New daily trending repos in Haskell!

github / semantic Parsing, analyzing, and comparing source code across many languages +2 stars today

IntersectMBO / cardano-cli This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.

input-output-hk / plutus-pioneer-program This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.

Jiggins / Odd-bits-of-code Just some odd bits of code I leave thrown about the place.

IntersectMBO / plutus The Plutus language implementation and tools

[github-trending-repos-bot]

New daily trending repos in Haskell!

github / deli

well-typed / trace-foreign-calls GHC plugin to add eventlog tracing for foreign function calls

[github-trending-repos-bot]

New daily trending repos in Haskell!

koka-lang / koka Koka language compiler and interpreter +3 stars today

olivierverdier / zsh-git-prompt Informative git prompt for zsh

[github-trending-repos-bot]

New daily trending repos in Haskell!

IntersectMBO / cardano-node The core component that is used to participate in a Cardano decentralised blockchain.

pdepjm / 2024-f-ej-clase-cumpleanios Ejercicio de la clase del 18/04 donde vimos orden superior y composición

Exercise from the class of 04/18 where we saw superior order and composition

[github-trending-repos-bot]

New daily trending repos in Haskell!

edahlgren / relationship Two programmers in a relationship, a description in code

[github-trending-repos-bot]

New daily trending repos in Haskell!

simonmichael / hledger Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces. +2 stars today

[github-trending-repos-bot]

New daily trending repos in Haskell!

tomjaguarpaw / bluefin +1 stars today

Simspace / avaleryar A logical authorization system

Simspace / simformat Formats haskell import lists

isturdy / tint A multi-language syntax highlighter.

exercism / haskell Exercism exercises in Haskell.

ThibautHH / MyPandoc

UCSC-CSE-114A / 02-random-art

[github-trending-repos-bot]

New daily trending repos in Haskell!

yesodweb / wai Haskell Web Application Interface

[github-trending-repos-bot]

New daily trending repos in Haskell!

jgm / pandoc Universal markup converter +13 stars today

input-output-hk / cardano-sl Cryptographic currency implementing Ouroboros PoS protocol +2 stars today

xmonad / xmonad-contrib Contributed modules for xmonad

[github-trending-repos-bot]

New daily trending repos in Haskell!

haskell-servant / servant Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more! +1 stars today

DiegoNolan / Asciify Makes Ascii art

necrobious / uuid-aeson Aeson types for UUID instances.

haskell / haskell-language-server Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

zachjs / sv2v SystemVerilog to Verilog conversion

vincenthz / hs-packer Fast serialization in haskell

banacorn / formal-language Curry–Howard Correspondence for fun

pdepjm / 2024-f-jujutsu-haskell

[github-trending-repos-bot]

New daily trending repos in Haskell!

QLyine / MailChecker Check mails in a maildir.

ardamose123 / haskell-repl A REPL program that uses the State monad transformer and some higher order functions.

kolmodin / robinhood Haskell implementation of Robin Hood Hashing

dorchard / coeffects-experiments Experimenting with coeffect and comonadic semantics embedded in Haskell

[github-trending-repos-bot]

New daily trending repos in Haskell!

commercialhaskell / stack The Haskell Tool Stack

[github-trending-repos-bot]

New daily trending repos in Haskell!

haskell / unix POSIX functionality +1 stars today

runtimeverification / haskell-backend The symbolic execution engine powering the K Framework

CardanoSolutions / ogmios ❇️ A WebSocket JSON/RPC bridge for Cardano

[github-trending-repos-bot]

New daily trending repos in Haskell!

nmattia / niv Easy dependency management for Nix projects +1 stars today

maralorn / nix-output-monitor Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building. +1 stars today

imsut / starthaskell

haskell / ghcup-hs

cardano-foundation / cardano-wallet HTTP server & command-line for managing UTxOs and HD wallets in Cardano.

[github-trending-repos-bot]

New daily trending repos in Haskell!

kmonad / kmonad An advanced keyboard manager +2 stars today

elaforge / ghc-server Persistent server version of ghc to speed up parallel compiles.

[github-trending-repos-bot]

New daily trending repos in Haskell!

laurabailleres / introprogramacion Guías resueltas de Introducción a la Programación / Algoritmos I. 2do cuatrimestre 2023. FCEN UBA.

Solved Guides for Introduction to Programming / Algorithms I. 2nd semester 2023. FCEN UBA.

input-output-hk / marlowe-cardano Marlowe smart contract language Cardano implementation

[github-trending-repos-bot]

New daily trending repos in Haskell!

haskell / cabal Official upstream development repository for Cabal and cabal-install

t0rrant / xmonad-config Common base to replicate in all of my machines.

JacquesCarette / Drasil Generate all the things (focusing on research software)

[github-trending-repos-bot]

New daily trending repos in Haskell!

unisoncomputing / share-api Unison Share's backend server +1 stars today

danchoi / mysql-ddl-parser Haskell MySQL DDL parser

[github-trending-repos-bot]

New daily trending repos in Haskell!

akiradeveloper / haskell-is-fun

[github-trending-repos-bot]

New daily trending repos in Haskell!

b3nj5m1n / xdg-ninja A shell script which checks your $HOME for unwanted files and directories. +1 stars today

xmonad / X11 A Haskell binding to the X11 graphics library.

digitallyinduced / ihp 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

0x65 / H2L Interpreter for the 2L programming language

toshipp / minilan

Yuliosity / gmcheck Static analysis for the Game Maker Language.

Regikul / okasaki-fp okasaki

[github-trending-repos-bot]

New daily trending repos in Haskell!

input-output-hk / hydra Implementation of the Hydra Head protocol +1 stars today

xmonad / xmonad The core of xmonad, a small but functional ICCCM-compliant tiling window manager

vmchale / jacinda Functional, expression-oriented data processing language

tweag / ghc-wasm-bindists Stable links for various GHC WASM bindists

[github-trending-repos-bot]

New daily trending repos in Haskell!

hadolint / hadolint Dockerfile linter, validate inline bash, written in Haskell +4 stars today

[github-trending-repos-bot]

New daily trending repos in Haskell!

jsoffer / gapsim Simula operaciones de memoria y caché a partir de datos extraídos de sesiones GAP

Simulates memory and cache operations based on data extracted from GAP sessions

fryguybob / diagrams-examples Random examples in diagrams.

MercuryTechnologies / slacklinker Slack backlink bot

[github-trending-repos-bot]

New daily trending repos in Haskell!

koalaman / shellcheck ShellCheck, a static analysis tool for shell scripts +8 stars today

Zankoku-Okuno / templar Advanced templating engine decoupled from specific uses.

Walther / euler Walther's Project Euler repository

[github-trending-repos-bot]

New daily trending repos in Haskell!

unisonweb / unison A friendly programming language from the future +2 stars today

[github-trending-repos-bot]

New daily trending repos in Haskell!

simplex-chat / simplex-chat SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱! +8 stars today

PostgREST / postgrest REST API for any Postgres database +6 stars today

agda / agda Agda is a dependently typed programming language / interactive theorem prover. +3 stars today

mlabs-haskell / ytxp-lib +1 stars today

sinelaw / penalty-search Researching the optimal decision trees (minimum expected cost) when search has a test penalty

IreneKnapp / direct-rich-text-format

kowainik / learn4haskell 👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

Roguelazer / sedc A compiler for sed