gitea: Gitea Service

gren-lang/ compiler

Compiler for the Gren programming language

Updated 2024-07-02 10:07:48 +03:00

stackbuilders/ hapistrano

Deploy tool for Haskell applications, like Capistrano for Rails

starred-repo haskell hacktoberfest deployment capistrano continuous-deployment haskell-applications starred-stackbuilders-repo

Updated 2024-07-02 06:56:13 +03:00

GaloisInc/ cryptol

Haskell 1 0

Cryptol: The Language of Cryptography

starred-repo starred-galoisinc-repo

Updated 2024-07-02 06:02:07 +03:00

simonmichael/ hledger

Haskell 1 0

A reliable, user-friendly Plain Text Accounting tool with command line, terminal and web interfaces.

Updated 2024-07-02 03:07:54 +03:00

anoma/ juvix

Haskell 1 0

Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.

starred-repo haskell dependent-types juvix linear-types starred-anoma-repo

Updated 2024-07-02 02:21:15 +03:00

simplex-chat/ simplex-chat

Haskell 1 0

SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released 📱!

starred-repo haskell privacy encryption security chat double-ratchet e2ee messaging protocol starred-simplex-chat-repo

Updated 2024-07-02 01:23:27 +03:00

unisonweb/ unison

Haskell 0 0

A friendly programming language from the future

haskell hacktoberfest programming-language unison unison-language

Updated 2024-07-02 00:30:55 +03:00

swarm-game/ swarm

Haskell 1 0

Resource gathering + programming game

starred-repo starred-swarm-game-repo

Updated 2024-07-01 22:04:43 +03:00

circuithub/ rel8

Haskell 1 0

Hey! Hey! Can u rel8?

starred-repo haskell postgresql dsl sql starred-circuithub-repo

Updated 2024-07-01 19:43:34 +03:00

haskell/ haskell-language-server

Haskell 1 0

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

starred-repo haskell ghc cabal stack starred-haskell-repo ide haskell-language-server lsp-server

Updated 2024-07-01 18:29:02 +03:00

tomjaguarpaw/ bluefin

Haskell 1 0

not really known

starred-repo starred-tomjaguarpaw-repo

Updated 2024-07-01 12:22:25 +03:00

ryantm/ nixpkgs-update

Haskell 1 0

Updating nixpkgs packages since 2018

starred-repo starred-ryantm-repo

Updated 2024-07-01 06:11:17 +03:00

nix-community/ nixpkgs-update

Haskell 1 0

Updating nixpkgs packages since 2018

starred-repo starred-nix-community-repo nix-community-buildbot

Updated 2024-07-01 06:11:17 +03:00

serokell/ haskell-with-utf8

Haskell 1 0

Get your IO right on the first try

starred-repo haskell starred-serokell-repo files unicode input-output utf8

Updated 2024-07-01 05:04:34 +03:00

utdemir/ nix-tree

Haskell 1 0

Interactively browse dependency graphs of Nix derivations.

starred-repo nix hacktoberfest dependency-graph starred-utdemir-repo

Updated 2024-07-01 03:28:12 +03:00

NorfairKing/ autodocodec

Haskell 1 0

self(auto)- documenting encoders and decoders

starred-repo starred-norfairking-repo

Updated 2024-06-30 22:09:13 +03:00

jtdaugherty/ brick

Haskell 1 0

A declarative Unix terminal UI programming library written in Haskell

starred-repo haskell tui terminal ui curses framework vty starred-jtdaugherty-repo

Updated 2024-06-30 19:04:31 +03:00

input-output-hk/ foliage

Haskell 1 0

🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.

starred-repo haskell starred-input-output-hk-repo

Updated 2024-06-30 03:27:42 +03:00

Bodigrim/ tasty-bench

Haskell 1 0

Featherlight benchmark framework, drop-in replacement for criterion and gauge.

starred-repo benchmark-framework criterion gauge performance-analysis performance-measurement performance-testing starred-bodigrim-repo

Updated 2024-06-29 19:25:21 +03:00

codedownio/ sandwich

Haskell 1 0

Yet another test framework for Haskell.

starred-repo haskell testing testing-framework starred-codedownio-repo

Updated 2024-06-29 04:13:12 +03:00