+

up-do

All

32 repositories

MicroHs
Public
Haskell implemented with combinators
C
•
Other
•53•0•0•0•Updated Apr 13, 2025Apr 13, 2025
pakcs
Public
PAKCS: The Portland Aachen Kiel Curry system
Prolog
•
Other
•1•0•0•0•Updated Feb 6, 2025Feb 6, 2025
gibbon
Public
A compiler for functional programs on serialized data
C
•19•0•0•0•Updated Feb 1, 2025Feb 1, 2025
postgresql-playground
Public
Haskell
•
BSD 3-Clause "New" or "Revised" License
•1•0•0•0•Updated Jan 12, 2025Jan 12, 2025
copilot
Public
A stream-based runtime-verification framework for generating hard real-time C code.
Haskell
•72•0•0•0•Updated Jan 8, 2025Jan 8, 2025
Kind
Public
A modern proof language
Haskell
•
MIT License
•146•0•0•0•Updated Jan 6, 2025Jan 6, 2025
.github
Public
0•0•0•0•Updated Oct 27, 2024Oct 27, 2024
tahoe
Public
Haskell
•
Mozilla Public License 2.0
•0•0•0•0•Updated Oct 4, 2024Oct 4, 2024
www.haskell.org
Public
www.haskell.org site source
CSS
•
Other
•105•0•0•0•Updated Jun 17, 2024Jun 17, 2024
stan
Public
🕵️ Haskell STatic ANalyser
Haskell
•
Mozilla Public License 2.0
•53•0•0•0•Updated Jun 1, 2024Jun 1, 2024
liquid-fixpoint
Public
Horn Clause Constraint Solving for Liquid Types
Haskell
•
Other
•64•0•0•0•Updated May 25, 2024May 25, 2024
cryptol
Public
Cryptol: The Language of Cryptography
Haskell
•
BSD 3-Clause "New" or "Revised" License
•128•0•0•0•Updated May 22, 2024May 22, 2024
hledger
Public
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Haskell
•
GNU General Public License v3.0
•341•0•0•0•Updated May 18, 2024May 18, 2024
cabal
Public
Official upstream development repository for Cabal and cabal-install
Haskell
•
Other
•722•0•0•0•Updated May 13, 2024May 13, 2024
klister
Public
an implementation of stuck macros
Haskell
•
BSD 3-Clause "New" or "Revised" License
•12•0•0•0•Updated Mar 27, 2024Mar 27, 2024
unison
Public
A friendly programming language from the future
Haskell
•
Other
•284•0•0•0•Updated Dec 6, 2023Dec 6, 2023
yesod
Public
A RESTful Haskell web framework built on WAI.
Haskell
•
MIT License
•376•0•0•0•Updated Dec 6, 2023Dec 6, 2023
persistent
Public
Persistence interface for Haskell allowing multiple storage methods.
Haskell
•
MIT License
•301•0•0•0•Updated Dec 6, 2023Dec 6, 2023
stack
Public
The Haskell Tool Stack
Haskell
•
BSD 3-Clause "New" or "Revised" License
•848•0•0•0•Updated Dec 5, 2023Dec 5, 2023
pandoc
Public
Universal markup converter
Haskell
•
Other
•3.7k•1•0•0•Updated Dec 5, 2023Dec 5, 2023
liquidhaskell
Public
Liquid Types For Haskell
Haskell
•
Other
•150•0•0•0•Updated Dec 5, 2023Dec 5, 2023
hlint-plugin
Public
GHC plugin for hlint
Dhall
•
Other
•2•0•0•0•Updated Dec 5, 2023Dec 5, 2023
futhark
Public
💥💻💥 A data-parallel functional programming language
Haskell
•
ISC License
•189•0•0•0•Updated Dec 5, 2023Dec 5, 2023
elm-compiler
Public
Compiler for Elm, a functional language for reliable webapps.
Haskell
•
BSD 3-Clause "New" or "Revised" License
•669•0•0•0•Updated Dec 5, 2023Dec 5, 2023
clash-compiler
Public
Haskell to VHDL/Verilog/SystemVerilog compiler
Haskell
•
Other
•164•0•0•0•Updated Dec 5, 2023Dec 5, 2023
dex-lang
Public
Research language for array processing in the Haskell/ML family
Haskell
•
BSD 3-Clause "New" or "Revised" License
•114•0•0•0•Updated Dec 5, 2023Dec 5, 2023
awesome-dhall
Public
A curated list of awesome dhall-lang
Creative Commons Zero v1.0 Universal
•18•0•0•0•Updated Nov 20, 2023Nov 20, 2023
plutus
Public
The Plutus language implementation and tools
Haskell
•
Apache License 2.0
•483•0•0•0•Updated Nov 19, 2023Nov 19, 2023
servant
Public
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
Haskell
•418•0•0•0•Updated Nov 11, 2023Nov 11, 2023
spatula
Public
An interpreter for the Silverware+ programming language written in Haskell
Haskell
•
BSD 3-Clause "New" or "Revised" License
•1•0•0•0•Updated Apr 6, 2023Apr 6, 2023

点击这是indexloc提供的php浏览器服务，不要输入任何密码和下载