Explore Projects
Discover 104 open source projects
Showing 21-40 of 104 projects
simonmichael/hledger
Hledger is a robust, fast, and intuitive plain text accounting tool with CLI, TUI, and web interfaces.
koka-lang/koka
Koka is a functional programming language that focuses on algebraic effects and handlers.
input-output-hk/cardano-sl
Cryptographic currency implementing the Ouroboros Proof-of-Stake blockchain protocol in Haskell.
HigherOrderCO/Kind
A modern proof language written in Haskell, focused on dependent types, formality, and functional programming.
Frege/frege
Frege is a Haskell-like language that brings purely functional programming to the Java platform.
ghc/ghc
Mirror of the Glasgow Haskell Compiler, a popular Haskell programming language implementation.
SimulaVR/Simula
SimulaVR/Simula is a Linux VR Desktop application built using the Haskell programming language.
BayesWitnesses/m2cgen
Transform ML models into native code (Java, C, Python, Go, etc.) with zero dependencies
jaspervdj/hakyll
A static website compiler library in Haskell for building performant, SEO-friendly websites.
haskell/haskell-language-server
Haskell IDE support via the language server protocol (LSP) for a seamless developer experience.
wireapp/wire-server
A back-end services platform for the Wire messaging app, written in Haskell and Rust.
yesodweb/yesod
A Haskell web framework for building RESTful APIs and server-side web applications.
caiorss/Functional-Programming
Functional programming concepts, examples, and patterns in Haskell, OCaml, and Python for developers.
cdleon/awesome-terminals
A comprehensive collection of terminal emulators for developers across various programming languages and environments.
dmjio/miso
A Haskell web framework that provides a tasty developer experience for building modern web applications.
haskell/haskell-ide-engine
Haskell IDE engine for integrating with GHC.
jameysharp/corrode
A C to Rust translator built in Haskell for vibe coders
ixy-languages/ixy-languages
A high-speed network driver written in multiple programming languages.
wuub/SublimeREPL
SublimeREPL is a Sublime Text plugin that allows developers to run various interpreters (including Python, Ruby, NodeJS) directly within the editor.
dapphub/dapptools
A set of Ethereum development tools including the Dapp, Seth, and Hevm tools written in Haskell.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.