8000 Lipranu / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Lipranu's full-sized avatar

Block or report Lipranu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

a fast, extensible, type driven Haskell ECS framework for games

Haskell 392 45 Updated May 31, 2025

Resource gathering + programming game

Haskell 867 58 Updated Jun 3, 2025

HoTTEST Summer School materials

TeX 297 69 Updated Jun 3, 2025

The Agda standard library

Agda 615 248 Updated Jun 4, 2025

Machine Learning in Haskell

Jupyter Notebook 28 1 Updated May 21, 2024

Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at

Haskell 648 56 Updated Mar 18, 2024

"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more

TypeScript 81,667 7,448 Updated Dec 2, 2024

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

4,029 171 Updated May 18, 2025

Simple servant-persistent template with up to date libraries, multipart form data API, basic User management model, property testing, simple JWT authentication, example public/private routes, among…

Haskell 32 Updated Nov 9, 2022

rebar3 projects (OTP libraries with tests) related to "Erlang Programming" book

Erlang 1 Updated Feb 22, 2022

A collection of resources for learning type theory and type theory adjacent fields.

2,305 125 Updated Apr 21, 2025

My slides and compilation of resources.

Haskell 153 11 Updated Aug 31, 2024

Universal markup converter

Haskell 37,748 3,539 Updated Jun 3, 2025

Haskell-style functional programming language running on Erlang VM.

Erlang 1,031 40 Updated Feb 3, 2022

Example on how to nixify a project [maintainer=@Rizary]

Nix 176 27 Updated Jan 25, 2025

Talk & associated code written for the Brisbane Functional Programming Group 2015-02-24

JavaScript 56 8 Updated Jun 6, 2015

Full-stack web app, built in a typesafe functional way, where servant-to-elm generates types, decoders/encoders, and fetching functions from Haskell types and Servant endpoint definition to Elm.🤘🏻

Elm 14 1 Updated May 23, 2024

Kubernetes self-service portal

Haskell 142 7 Updated Sep 4, 2024
Haskell 4 1 Updated Aug 2, 2021

📓 Flexible and configurable modern #Haskell logging framework

Haskell 260 51 Updated Apr 6, 2025

Code and materials for my book "Pragmatic Type Level Design"

Haskell 131 10 Updated Apr 9, 2025

Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell

Haskell 156 9 Updated Jul 22, 2021

Code and materials for my book "Functional Design and Architecture"

Haskell 518 38 Updated Nov 30, 2024

Complete full-stack web app with a mu-haskell GraphQL server and an Elm client! 🌳

Elm 37 5 Updated Apr 28, 2023

Sources for my Blog

TeX 27 13 Updated Oct 8, 2023

The Haskell LaTeX library.

Haskell 199 44 Updated Sep 28, 2023

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Haskell 5,071 209 Updated May 28, 2025

A CSS preprocessor as embedded Haskell.

Haskell 362 71 Updated May 20, 2025

A static website compiler library in Haskell

Haskell 2,755 413 Updated Jun 4, 2025

Generate reflex client functions for querying a servant API

Haskell 79 58 Updated Aug 25, 2023
Next
0