Topic: haskell Goto Github

Haskell is a functional programming language with non-strict semantics, and strong static typing.

👇 Here are 9540 public repositories matching this topic...

bayeswitnesses / m2cgen

haskell,Transform ML models into a native code (Java, C, Python, Go, JavaScript, Visual Basic, C#, R, PowerShell, PHP, Dart, Haskell, Ruby, F#, Rust) with zero dependencies

Organization: bayeswitnesses

machine-learning scikit-learn statistical-learning xgboost lightgbm java python c javascript go

clash-lang / clash-compiler

haskell,Haskell to VHDL/Verilog/SystemVerilog compiler

Organization: clash-lang

Home Page: https://clash-lang.org/

haskell hardware-description-language fpga vhdl verilog systemverilog asic

compiler-explorer / compiler-explorer

haskell,Run compilers interactively from your web browser and interact with the assembly

Organization: compiler-explorer

Home Page: https://godbolt.org/

rust c-plus-plus go dlang compiler cpp assembly ispc haskell swift

digitallyinduced / ihp

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

Organization: digitallyinduced

Home Page: https://ihp.digitallyinduced.com/

haskell postgresql nix mvc html framework hacktoberfest

dmjio / miso

haskell,:ramen: A tasty Haskell front-end framework

User: dmjio

Home Page: https://haskell-miso.org

ghcjs haskell virtual-dom miso ramen ui nix javascript

extism / extism

haskell,The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

Organization: extism

Home Page: https://extism.org

browser c cpp csharp dotnet elixir go haskell java javascript node ocaml plugin-system python ruby rust serverless wasm webassembly zig

fabrizioschiavi / pragmatapro

haskell,PragmataPro font is designed to help pros to work better

User: fabrizioschiavi

Home Page: https://www.fsd.it/shop/fonts/pragmatapro/

monospace-font modular unicode-coverage hebrew math arabic apl haskell braille unicode

fosskers / aura

haskell,A secure, multilingual package manager for Arch Linux and the AUR.

User: fosskers

Home Page: https://fosskers.github.io/aura/

arch-linux haskell aura package-manager pacman

google / codeworld

haskell,Educational computer programming environment using Haskell

Organization: google

Home Page: http://code.world

haskell ghcjs education fiddle playground codeworld learn-to-code k12 functional-programming

hadolint / hadolint

haskell,Dockerfile linter, validate inline bash, written in Haskell

Organization: hadolint

dockerfile linter shellcheck haskell dockerfile-linter docker static-analysis

haskell-servant / servant

haskell,Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

Organization: haskell-servant

Home Page: https://docs.servant.dev/

hacktoberfest haskell

haskell-things / implicitcad

haskell,A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...

Organization: haskell-things

Home Page: https://implicitcad.org/

haskell openscad csg sdfs 3d-printing

haskell / cabal

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

Organization: haskell

Home Page: https://haskell.org/cabal

cabal haskell hackage

haskell / haskell-ide-engine

haskell,The engine for haskell ide-integration. Not an IDE

Organization: haskell

ide haskell haskell-ide lsp language-server-protocol ghc

haskell / haskell-language-server

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

Organization: haskell

lsp-server haskell-language-server ide haskell cabal stack ghc hacktoberfest

haskell / haskell-mode

haskell,Emacs mode for Haskell

Organization: haskell

Home Page: http://haskell.github.io/haskell-mode/

emacs haskell

hasura / graphql-engine

haskell,Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.

Organization: hasura

Home Page: https://hasura.io

graphql graphql-server postgres hasura access-control automatic-api api rest-api graphql-api sql-server

hmemcpy / milewski-ctfp-pdf

haskell,Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

User: hmemcpy

Home Page: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

haskell category-theory functional-programming pdf latex cpp scala ocaml

huangzworks / real-world-haskell-cn

haskell,《Real World Haskell》中文翻译项目

User: huangzworks

Home Page: http://cnhaskell.com

haskell chinese-translation

huwcampbell / grenade

haskell,Deep Learning in Haskell

User: huwcampbell

machine-learning deep-neural-networks haskell deep-learning generative-adversarial-networks convolutional-neural-networks

ihaskell / ihaskell

haskell,A Haskell kernel for the Jupyter project.

Organization: ihaskell

haskell jupyter

input-output-hk / cardano-sl

haskell,Cryptographic currency implementing Ouroboros PoS protocol

Organization: input-output-hk

haskell stake-blockchain-protocol cryptocurrency

jaspervdj / patat

haskell,Terminal-based presentations using Pandoc

User: jaspervdj

pandoc haskell presentation markdown slideshow slides terminal

jgm / pandoc

haskell,Universal markup converter

User: jgm

Home Page: https://pandoc.org

pandoc haskell markdown markup converter publishing document presentation commonmark

jtdaugherty / brick

haskell,A declarative Unix terminal UI library written in Haskell

User: jtdaugherty

vty haskell terminal ui tui framework curses

kaxap / arl

haskell,lists of most popular repositories for most favoured programming languages (according to StackOverflow)

User: kaxap

awesome python java c cpp nodejs csharp php ruby typescript

koalaman / shellcheck

haskell,ShellCheck, a static analysis tool for shell scripts

User: koalaman

Home Page: https://www.shellcheck.net

haskell shell static-analysis bash linter developer-tools

koka-lang / koka

haskell,Koka language compiler and interpreter

Organization: koka-lang

Home Page: http://koka-lang.org

algebraic-effects koka handler haskell effect-handlers

lettier / gifcurry

haskell,😎 The open-source, Haskell-built video editor for GIF makers.

User: lettier

Home Page: https://lettier.github.io/gifcurry

gtk animated-gifs haskell gui imagemagick gif ubuntu linux functional-programming gifs

liuxinyu95 / algoxy

haskell,Book of Elementary Functional Algorithms and Data structures

User: liuxinyu95

algorithms haskell functional-programming

lk-geimfari / awesomo

haskell,Cool open source projects. Choose your project and get involved in Open Source development now.

User: lk-geimfari

awesome ocaml erlang elixir rust python scala lua clojure haskell

luxlang / lux

haskell,The Lux Programming Language

Organization: luxlang

language programming-language macros functional-programming lisp haskell clojure functional-languages types jvm-languages

nayuki / project-euler-solutions

haskell,Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.

User: nayuki

Home Page: https://www.nayuki.io/page/project-euler-solutions

java python mathematica project-euler math mathematics competitive-programming number-theory algorithms proofs

netgusto / nodebook

haskell,Nodebook - Multi-Lang Web REPL + CLI Code runner

User: netgusto

repl nodejs c cpp haskell java lua php python r

postgrest / postgrest

haskell,REST API for any Postgres database

Organization: postgrest

Home Page: https://postgrest.org

haskell database rest postgresql server postgrest automatic-api postgres api http

purescript / purescript

haskell,A strongly-typed language that compiles to JavaScript

Organization: purescript

Home Page: https://www.purescript.org

haskell purescript javascript typed-language alt-js

quchen / articles

haskell,Miscellaneous articles. The readme is the table of contents.

User: quchen

haskell hindley-milner articles tutorials

rikvdkleij / intellij-haskell

haskell,IntelliJ plugin for Haskell

User: rikvdkleij

Home Page: https://rikvdkleij.github.io/intellij-haskell/

intellij-plugin haskell intellij jetbrains-plugin stack

sdiehl / wiwinwlh

haskell,What I Wish I Knew When Learning Haskell

User: sdiehl

Home Page: http://dev.stephendiehl.com/hask/

functional-programming-examples functional-programming examples article-series haskell

simonmichael / hledger

haskell,Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

User: simonmichael

Home Page: https://hledger.org

hledger haskell ledger plaintext-accounting web-application console-application command-line-tool bounty tui accounting

simplex-chat / simplex-chat

haskell,SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Organization: simplex-chat

Home Page: https://simplex.chat

chat protocol e2ee privacy haskell security messaging encryption double-ratchet