- Santos - Brasil
Block or Report
Block or report praduca
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (1)
Sort Name ascending (A-Z)
Stars
Language
Sort by: Recently starred
Converts png image to MSX2 mode 2 sprites and related tools
Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell
A Turing complete language 😉
A gently curated list of companies using Haskell in industry
Haskell library for building declarative animations based on SVG graphics
A distributed, fast open-source graph database featuring horizontal scalability and high availability. This is an archived repo for v2.5 only, from 2.6.0 +, NebulaGraph switched back to https://git…
All CPU and MCU documentation in one place
A massively parallel, optimal functional runtime in Rust
An easy to use, cross platform, GUI library for writing Haskell applications.
Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell
A curated list of awesome Haskell frameworks, libraries and software.
An introduction to programming language theory in Agda
A latency-hating emulator of: the Acorn Electron and Archimedes, Amstrad CPC, Apple II/II+/IIe and early Macintosh, Atari 2600 and ST, ColecoVision, Enterprise 64/128, Commodore Vic-20 and Amiga, M…
Warp speed Data Transfer (WDT) is an embeddedable library (and command line tool) aiming to transfer data between 2 systems as fast as possible over multiple TCP paths.
A DSL for embedded hard realtime applications.