Skip to content
View plumenator's full-sized avatar

Block or report plumenator

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

catalog of my journey in Homelabbing

1 Updated Apr 24, 2018

My past paper solutions for the ICL final Haskell exam.

Haskell 4 1 Updated Jan 1, 2025

🦀 Control a now blue circle with wasd/arrow keys (intense gameplay)

Rust 27 4 Updated Jul 6, 2024

A free book about developing secure and robust systems software.

Rust 1,334 35 Updated Apr 10, 2024

A gently curated list of companies using verification formal methods in industry

507 39 Updated Jul 3, 2024

A bunch of links to blog posts, articles, videos, etc for learning Nix

146 8 Updated Jan 11, 2023

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

2,200 119 Updated Aug 30, 2024

The adventures of a Haskell compiler

Haskell 218 16 Updated Dec 8, 2024

A List of Foundational Haskell Papers

JavaScript 863 71 Updated Nov 8, 2024

Simple encoding of refinement types in Scala 3

Scala 24 2 Updated Jun 24, 2024

rust style and philosophy

1,112 29 Updated Oct 6, 2019

A curated list of awesome Discord communities for programmers

Python 2,928 200 Updated Aug 8, 2024

Notes and exercises on Haskell Programming from First Principles by Chris Allen and Julie Moronuki.

Haskell 4 Updated Nov 1, 2024

Code sample accompanying the article "Crash Course in BRDF Implementation"

C++ 325 16 Updated Aug 24, 2023

The new nanopass framework; an embedded DSL for writing compilers in Scheme

Scheme 493 55 Updated Aug 31, 2022

Personal notes on my continuous progress in pursuing mastery of my craft.

HTML 95 7 Updated May 14, 2024

Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur

215 3 Updated Dec 10, 2022

About me

17 Updated Nov 1, 2024

Jupyter adaptation of Learn You a Haskell for Great Good!

Jupyter Notebook 300 48 Updated Oct 23, 2023

The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.

OCaml 27 3 Updated Jan 24, 2024

The Software Foundations book, in GHC

Haskell 82 3 Updated Dec 30, 2024

My home directory: Nix config, dotfiles, scripts, etc.

Nix 66 5 Updated Jan 8, 2025

Higher-kinded data via generics

Haskell 170 20 Updated Aug 20, 2024

A little course to learn about some of the more obscure GHC extensions.

Haskell 644 96 Updated Nov 7, 2023

Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks

C++ 19,605 1,034 Updated Jan 16, 2025

ICFP Bingo 2017 (Idris edition)

Idris 30 2 Updated Aug 22, 2019

A modern runtime for JavaScript and TypeScript.

Rust 101,248 5,471 Updated Jan 23, 2025

Maintainable configuration files

Dhall 4,261 175 Updated Jan 17, 2025

Fuzz your Rust code with Google-developed Honggfuzz !

Rust 463 42 Updated Oct 1, 2024

🌩️ A list of awesome online development environments

3,271 286 Updated Dec 3, 2024
Next
Showing results