Trending repositories for topic haskell
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
The fastest way to develop full-stack web apps with React & Node.js.
Run compilers interactively from your web browser and interact with the assembly
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
A stream-based runtime-verification framework for generating hard real-time C code.
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
A tutorial about how to apply property-based testing to stateful systems.
A stream-based runtime-verification framework for generating hard real-time C code.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
Dockerfile linter, validate inline bash, written in Haskell
The fastest way to develop full-stack web apps with React & Node.js.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
The fastest way to develop full-stack web apps with React & Node.js.
Run compilers interactively from your web browser and interact with the assembly
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
A tutorial about how to apply property-based testing to stateful systems.
Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games
A stream-based runtime-verification framework for generating hard real-time C code.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
The fastest way to develop full-stack web apps with React & Node.js.
The fastest way to develop full-stack web apps with React & Node.js.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Run compilers interactively from your web browser and interact with the assembly
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Cool open source projects. Choose your project and get involved in Open Source development now.
A stream-based runtime-verification framework for generating hard real-time C code.
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the TinyWL reference compositor with Haskell bindings, allowing for...
🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
Haskell syntax highlighting that considers variable scopes. Inspired from "Context Coloring" by prof. Douglas Crockford.
📖 Projects showcased in the book "Learn Haskell by Example"
Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games
🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
The fastest way to develop full-stack web apps with React & Node.js.
An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.
A stream-based runtime-verification framework for generating hard real-time C code.
Production ready, modern web-application starter template using haskell and htmx
A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the TinyWL reference compositor with Haskell bindings, allowing for...
🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
The fastest way to develop full-stack web apps with React & Node.js.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Run compilers interactively from your web browser and interact with the assembly
Dockerfile linter, validate inline bash, written in Haskell
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Cool open source projects. Choose your project and get involved in Open Source development now.
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
📖 Projects showcased in the book "Learn Haskell by Example"
Load a GHCi session for a Haskell project and reload it when source files change
An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.
Functional Programming From Scratch 日本語版
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
The repo for hledger.org, the hledger project's website.
A `flake-parts` module to spin up processes for development by leveraging `process-compose`