Topic: haskell Goto Github

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

jgm / pandoc
haskell,Universal markup converter
User: jgm
Home Page: https://pandoc.org
pandoc haskell markdown markup converter publishing document presentation commonmark

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

hasura / graphql-engine
haskell,Blazing fast, instant realtime GraphQL APIs on all your data 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

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

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

wasp-lang / wasp
haskell,The batteries-included full-stack framework for the AI era. Develop JS/TS web apps (React, Node.js, and Prisma) using declarative code that abstracts away complex full-stack features like auth, background jobs, RPC, email sending, end-to-end type safety, single-command deployment, and more.
Organization: wasp-lang
Home Page: https://wasp.sh
wasp web-app react node prisma javascript haskell open-source

hadolint / hadolint
haskell,Dockerfile linter, validate inline bash, written in Haskell
Organization: hadolint
dockerfile linter shellcheck haskell dockerfile-linter docker static-analysis

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

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

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

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

unisonweb / unison
haskell,A friendly programming language from the future
Organization: unisonweb
Home Page: https://unison-lang.org
haskell programming-language unison unison-language hacktoberfest

liuxinyu95 / algoxy
haskell,Book of Elementary Functional Algorithms and Data structures
User: liuxinyu95
algorithms haskell functional-programming

extism / extism
haskell,The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
Organization: extism
Home Page: https://extism.org
plugin-system c cpp go ocaml python ruby rust haskell wasm

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

kmonad / kmonad
haskell,An advanced keyboard manager
Organization: kmonad
cross-platform haskell keyboard keyboard-layout linux macos windows

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 web-application console-application command-line-tool tui accounting plaintext finance

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

input-output-hk / cardano-sl
haskell,Cryptographic currency implementing Ouroboros PoS protocol
Organization: input-output-hk
haskell stake-blockchain-protocol cryptocurrency

xmonad / xmonad
haskell,The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Organization: xmonad
Home Page: https://xmonad.org
xmonad haskell x11 window-manager x11-wm hacktoberfest

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

haskell / haskell-language-server
haskell,Official Haskell IDE support via the language server protocol (LSP)
Organization: haskell
lsp-server haskell-language-server ide haskell cabal stack ghc hacktoberfest

tidalcycles / tidal
haskell,Pattern language
Organization: tidalcycles
Home Page: https://codeberg.org/uzu/tidal
livecoding algorave pattern haskell language dsl kairotic live-coding

wireapp / wire-server
haskell,🇪🇺 Wire back-end services
Organization: wireapp
Home Page: https://wire.com
wire server haskell rust

cdleon / awesome-terminals
haskell,Terminal Emulators
User: cdleon
terminal-emulators terminal command-line shell tty rust golang python node c

jaspervdj / patat
haskell,Terminal-based presentations using Pandoc
User: jaspervdj
pandoc haskell presentation markdown slideshow slides terminal

sdiehl / wiwinwlh
haskell,What I Wish I Knew When Learning Haskell
User: sdiehl
Home Page: https://sdiehl.github.io/wiwinwlh/
functional-programming-examples functional-programming examples article-series haskell

ihaskell / ihaskell
haskell,A Haskell kernel for the Jupyter project.
Organization: ihaskell
haskell jupyter

typelead / eta
haskell,The Eta Programming Language, a dialect of Haskell on the JVM
Organization: typelead
Home Page: https://eta-lang.org
eta jvm haskell functional-programming

dmjio / miso
haskell,:ramen: A tasty Haskell web framework
User: dmjio
Home Page: https://github.com/haskell-miso
ghcjs haskell virtual-dom miso ramen ui nix javascript ghc wasm

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

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

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

haskell-servant / servant
haskell,Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Organization: haskell-servant
Home Page: https://docs.servant.dev/
hacktoberfest haskell

tweag / asterius
haskell,DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
Organization: tweag
webassembly haskell compiler ghc

smallhadroncollider / taskell
haskell,Command-line Kanban board/task manager with support for Trello boards and GitHub projects
User: smallhadroncollider
Home Page: https://taskell.app
task-manager command-line opensource kanban haskell homebrew macos linux vim-keybindings markdown

luxlang / lux
haskell,The Lux Programming Language
Organization: luxlang
language programming-language macros functional-programming lisp haskell clojure functional-languages types jvm-languages

haskell / cabal
haskell,Official upstream development repository for Cabal and cabal-install
Organization: haskell
Home Page: https://haskell.org/cabal
cabal haskell hackage

jtdaugherty / brick
haskell,A declarative Unix terminal UI library written in Haskell
User: jtdaugherty
vty haskell terminal ui tui framework curses

netgusto / nodebook
haskell,Nodebook - Multi-Lang Web REPL + CLI Code runner
User: netgusto
repl nodejs c cpp haskell java lua php python r

fabrizioschiavi / pragmatapro
haskell,PragmataPro font is designed to help pros to work better
User: fabrizioschiavi
Home Page: https://fsd.it/shop/fonts/pragmatapro/
monospace-font modular unicode-coverage hebrew math arabic apl haskell braille unicode

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

huangzworks / real-world-haskell-cn
haskell,《Real World Haskell》中文翻译项目
User: huangzworks
Home Page: http://cnhaskell.com
haskell chinese-translation

haskell-beginners-2022 / course-plan
haskell,📜 Haskell course info, plan, video lectures, slides
Organization: haskell-beginners-2022
haskell course learning beginner-friendly functional-programming hacktoberfest hacktoberfest2022 mentorship

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

maralorn / nix-output-monitor
haskell,Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
User: maralorn
nix haskell hacktoberfest nom

nixos / nixfmt
haskell,The official formatter for Nix code
Organization: nixos
nix formatter haskell

valderman / haste-compiler
haskell,A GHC-based Haskell to JavaScript compiler
User: valderman
Home Page: http://haste-lang.org
haskell javascript ghc web language compiler

huwcampbell / grenade
haskell,Deep Learning in Haskell
User: huwcampbell
machine-learning deep-neural-networks haskell deep-learning generative-adversarial-networks convolutional-neural-networks

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