Gabriele Lana

AsyncFlow. Scenario-driven simulator for async distributed systems: declare topologies, run simulations, measure latency/throughput, resource usage and see where bottlenecks emerge.

android-sdk-tools. building android-sdk tools for Android

hurl. Hurl, run and test HTTP requests with plain text.

eljira. Emacs Lisp

seqflow-js. Fresh javascript framework for Frontend

zig. Moved to Codeberg

kanata. Improve keyboard comfort and usability with advanced customization

go-jsonschema. A tool to generate Go data types from JSON Schema definitions.

neosync. Open Source Data Security Platform for Developers to Monitor and Detect PII, Anonymize Production Data and Sync it across environments.

sst. Build full-stack apps on your own infrastructure.

install-arch-vmwarefusion-techpreview. Semi-automated Arch Linux(aarch64) install in VMware Fusion for Apple Silicon

elisp-bytecode. Let's document Emacs Lisp Bytecode (Lisp Assembly Program) instructions

kannon. ✉️ Cloud-Native massive mail sender for Kubernetes!

xddmod. My personal trusty Twitch little pet 🐀

emacs-nes. A NES Emulator written in Emacs Lisp

retro.el. Library to create retro games in Emacs

eventcatalog. Documentation tool built for software architecture. Document your domains, services, events and schemas — for your teams and your AI agents.

elite-for-emacs. Interpretation of the game Elite using Emacs.

Apprentice. A small alchemist ready to rock

pietroppeter. personal github profile

HypeScript. 🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system

emacs-dragon-icon. A new Emacs icon combines Emacs logo's background and the dragon in Emacs-China logo.

typebot.io. 💬 Typebot is a powerful chatbot builder that you can self-host.

stylo. Another kind of rich text editor

type-challenges. Collection of TypeScript type challenges with online judge

pintora. An extensible text-to-diagrams library that works in both browser and node.js

type-level-fizzbuzz. Type Level FizzBuzz in TypeScript

basic-computer-games. An updated version of the classic "Basic Computer Games" book, with well-written examples in a variety of common MEMORY SAFE, SCRIPTING programming languages. See https://coding-horror.github.io/basic-computer-games/

scryer-prolog. A modern Prolog implementation written mostly in Rust.

pesticide. A Library To Write Domain-Driven Tests, written in Kotlin on top of Junit5

thegreatsuspender-notrack. A chrome extension for suspending all tabs to free up memory, privacy-oriented with no analytics tracking.

cli. A command line utility for Structurizr.

lsp-mode. Emacs client/library for the Language Server Protocol

connection. Connection behaviour for connection processes

ESEUR-code-data. Code and data used to create the examples in "Evidence-based Software Engineering based on the publicly available data"

C4-PlantUML. C4-PlantUML combines the benefits of PlantUML and the C4 model for providing a simple way of describing and communicate software architectures

shopping-cart-haskell. :gem: Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

musikell. :guitar: Artists, Albums and Songs represented using Neo4j + GraphQL

public-apis. A collective list of free APIs

gitignore. A collection of useful .gitignore templates

recruiter. A robust and scalable job queue manager for PHP projects, storing jobs in MongoDB with customizable retry strategies and multiple queue support. Developed by Onebip and EasyWelfare.

docker-compose-mode. Major mode for editing docker-compose files

the-elmish-book. A practical guide to building modern and reliable web applications in F# from first principles

docker-emacs. Dockerized Emacs (GUI)

squee. A Typed, Composable Database Query Language

ankh. Pure Elixir HTTP implementation

purerl. Erlang backend for the PureScript compiler

reason-mode. Emacs major mode for working with ReasonML

emacs-nes. A NES Emulator written in Emacs Lisp

ob-mermaid. Generate mermaid diagrams within Emacs org-mode babel

thinking-with-types. 📖 source material for Thinking with Types

pacman. curses Pac-man game in Haskell -- mostly finished, very playable

cov. An emacs extension for displaying coverage data on your code

elmboy. A Nintendo™ Game Boy™ Emulator written in Elm.

emacs-history. Historical Emacs Software Preservation

architecture-decision-record. Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation

emacs-writing-studio. Emacs configuration for authors who research, write and publish articles, books and websites.

haskell-book-readers-exercises. Exercises from the readers of the Haskell Book

evm. Emacs Version Manager

zero-to-quake-3. Implementing Quake 3 in Haskell & Vulkan

yasnippet-snippets. a collection of yasnippet snippets for many languages

awesome-common-lisp-learning. A curated list of awesome Common Lisp learning resources

nyxt. Nyxt - the hacker's browser.

level. Team communication optimized for deep work

safaribooks. Download and generate EPUB of your favorite books from O'Reilly Learning (aka Safari Books Online) library.

build-your-own-x. Master programming by recreating your favorite technologies from scratch.

kotlin-language-server. Kotlin extension for VSCode

foundationdb. FoundationDB - the open source, distributed, transactional key-value store

ebf. Brainfuck language transpiler to Emacs Lisp

pacmacs.el. Pacman for Emacs

Istio101. ⚡ Lightning-Talk Style Demo of Istio and OpenCensus⚡

functional-programming-jargon. Jargon from the functional programming world in simple terms!

category-theory-programmers. Category theory in the context of (functional) programming

ink. 🌈 React for interactive command-line apps

aoc-2017. Common Lisp

fez. F# to core erlang compiler experiment

milewski-ctfp-pdf. Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

salvo. Experimental websocket server and client leveraging Elixir streams

theBeamBook. A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

coding-interview-university. A complete computer science study plan to become a software engineer.

pycomb. Tcomb port for Python 3

language-detection.el. Automatic programming language detection of code snippets, in Emacs Lisp

elm-shared-state. Example app on managing shared state in large Elm SPAs. (ex elm-taco)

haze. A small maze game

beam-wisdoms. Wiki containing pieces of information and knowledge about BEAM Virtual machine (which runs Erlang/OTP and other BEAM-based languages).

Karabiner-Elements. Karabiner-Elements is a powerful tool for customizing keyboards on macOS

pit. Elixir macro for extracting or transforming values inside a pipe flow.

bitwise. Erlang NIF examples for showing Erlang scheduler issues

book. The Rust Programming Language

patterns. A catalogue of Rust design patterns, anti-patterns and idioms

monoid. Customisable coding font with alternates, ligatures and contextual positioning. Crazy crisp at 12px/9pt. http://larsenwork.com/monoid/

lambci. A continuous integration system built on AWS Lambda

phoenixphaserdemo. Building games with Phoenix and Phaser demo

gen_stage. Producer and consumer actors with back-pressure for Elixir

FlyingFox. Proof of stake blockchain

jan. A multi-player rock-paper-scissors game written in Elixir and Elm

python-elevator-challenge. So You Think You Can Program An Elevator

pyq. A CLI tool to search for Python code in a path using jQuery-like selectors.

keysnail. Allows you to bind commands to key sequences in Mozilla Firefox

phoenix-trello. Trello tribute done in Elixir, Phoenix Framework, React and Redux.

shackle. High-Performance Erlang Network Client Framework

hacker-scripts. Based on a true story

scalesmall. Small message server in Elixir that scales

popwin. Popup Window Manager for Emacs

erlangelist. Source code of The Erlangelist blog

elixir-plug-api-example. An example of api built using elixir and plug

seat_saver. Phoenix and Elm combined!

rustlings. :crab: Small exercises to get you used to reading and writing Rust code!

http-api-design. HTTP API design guide extracted from work on the Heroku Platform API

erlgraph. An erlang application which will connect a d3js force directed graph to an erlang VM and display process information.

syn. A scalable global Process Registry and Process Group manager for Erlang and Elixir.

acquirex. Elixir implementation of the logic for the board game Acquire. Presented at NDC Oslo 2015 - see video:

mix-star. Elixir Mix task to starring GitHub repository with `mix deps.get`ting dependent library

kiex. Elixir version manager

streaming-papers. A curated collection of papers on streaming algorithms

emacs-color-themes. A collection of custom themes for Emacs. All the themes are named after famous programmers.

awesome-emacs. A community driven list of useful Emacs packages, libraries and other items.

services-engineering. A reading list for services engineering, with a focus on cloud infrastructure services

combine. A parser combinator library for Elixir projects

elixir-cocktails. This is a little book of Elixir/Phoenix/Ecto & friends recipes, that show you how to mix/shake/blend web apps

ponyc. Pony is an open-source, actor-model, capabilities-secure, high performance programming language

loom. A CRDT library with δ-CRDT support.

gold_fever. A Treasure Hunt for Erlangers

bennu. Javascript Parser Combinator Library

Highlight-Indentation-for-Emacs. Minor modes to highlight indentation guides in emacs.

gut. WIP, reimplementing it from scratch :scroll: gut retrieves templates and compile them to scaffold projects and create standalone files

tesla. The flexible HTTP client library for Elixir, with support for middleware and multiple adapters.

hypothesis. The property-based testing library for Python

emacs-deferred. Simple asynchronous functions for emacs lisp

obelisk. Static Site Generator written in Elixir.

vex. Data Validation for Elixir

reaxive. Reactive Extensions for Elixir

rustfmt. Format Rust code

Hoex. Higher Order Functions & Elixir

go-fuzz. Randomized testing for Go

ES6-Learning. :clipboard: List of resources to learn ECMAScript 6!

edeliver. Deployment for Elixir and Erlang

pluginator. Elixir library for managing plugins

erlang-patterns. LambdaPad source files for erlangpatterns.org

hydra. make Emacs bindings that stick around

humbug. Humbug is a Mutation Testing framework for PHP to measure the real effectiveness of your test suites and assist in their improvement. It eats Code Coverage for breakfast.

ticky. An PROMPT embeddable timer

phoenix_guides. User guides for the Phoenix web development framework.

guardsafe. Macros expanding into code that can be safely used in guard clauses.

monaco-font. Install `Monaco Font` or other fonts on Linux distro (Ubuntu, CentOS...)

cqrs-with-erlang. Resources for the CQRS with Erlang talk

erl_fuzzy_match. Erlang Fuzzy String Matcher

the-little-elixir-otp-guidebook-code. Code examples for The Little Elixir & OTP Guidebook

dq. Distributed Fault Tolerant Queue library

plug. Compose web applications with functions

parsec. Parsec-style parsing for Erlang

designing-for-scalability-with-erlang-otp-exercises. “Designing for Scalability with Erlang/OTP” book exercises

ExDocDash. Dash.app formatter for ex_doc.

mix_eunit. A mix task to execute eunit tests.

pavlov. A BDD framework for your Elixir projects

elixir_style_guide. A community driven style guide for Elixir

timex. A complete date/time library for Elixir projects.

exrun. Runtime and debugging tools for elixir

rusti. REPL for the Rust programming language

awesome-public-datasets. A topic-centric list of HQ open datasets.

shouldi. Elixir testing libraries with nested contexts, superior readability, and ease of use

eris. Eris is a porting of Quickcheck and property-based testing tools to the PHP and PHPUnit ecosystem.

500lines. 500 Lines or Less

calendar. date-time and time zone handling in Elixir

good. Take a closer look at your git history.

elvis. Erlang Style Reviewer

exvcr. HTTP request/response recording library for elixir, inspired by VCR.

poison. An incredibly fast, pure Elixir JSON library

awesome-elixir. A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things. Updates:

poxa. Pusher server implementation compatible with Pusher client libraries.

dialyxir. Mix tasks to simplify use of Dialyzer in Elixir projects.

koans-playground. My progress in various koans.

ExSkel. An Elixir wrapper around skel.

conventional-changelog. Generate changelogs and release notes from a project's commit messages and metadata.

erln8. A sneaky Erlang version manager, v1 (C version)

bleve. A modern text/numeric/geo-spatial/vector indexing library for go

tint2. Native Javascript Applications

rotor. Super-simple build system for Elixir

commonmark-spec. CommonMark spec, with reference implementations in C and JavaScript

markdown-mark. Use this mark to identify Markdown.

erlang_guidelines. Inaka's Erlang Coding Guidelines

emacs4developers. A document to help developers to use Emacs as a developer

spy-js. spy-js: javascript tracing tool

srclib. srclib is a polyglot code analysis library, built for hackability. It consists of language analysis toolchains (currently for Go and Java, with Python, JavaScript, and Ruby in beta) with a common output format, and a CLI tool for running the analysis.

papers-we-love. Papers from the computer science community to read and discuss.

vim-erroneous. The right way to handle errors

cloudboard.vim. a cloud-based clipboard, yank text into a numbered cloud register on a machine, put the text from the cloud register on another machine.

go-algorithms. Algorithms and data structures for golang

reptyr. Reparent a running program to a new terminal

wingo. A fully-featured window manager written in Go.

njsTrace. A Node.js tracing and instrumentation utility

p5.js. p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Processing. Looking for p5.js 2.0? http://beta.p5js.org

logster. Log viewer UI and framework for rack

goji. Goji is a minimalistic web framework for Golang that's high in antioxidants.

immutable-js. Immutable persistent data collections for Javascript which increase efficiency and simplicity.

ipfs. Peer-to-peer hypermedia protocol

YouAreDaChef. Coffeescript/Javascript method combinations for Underscore projects

xbobar. This project has moved:

cucumberl. pure erlang implementation of Cucumber parser & driver

node-jscs. :arrow_heading_up: JavaScript Code Style checker (unmaintained)