thalesmg Goto Github PK

2020-07-01-haskell-game-demo

"Writing 2D games using super simple Haskell" at Haskell Love 2020 conference https://haskell.love/jan-christopher-vogt/

2pc-alloy

Two phase commit in Alloy

advent-of-code-2017

My solutions to AoC 2017

advent-of-code-2018

alloy-consistency

Modeling eventual consistency with Alloy

alloy-mode

Emacs major mode for Alloy

aoc

apecs

a fast, type driven, extensible ECS for game development

archivebox

🗃 The open source self-hosted web archive. Takes browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...

arduino-makefile-ats

Arduino Circuitlab working in ats

ats-0.3.11-my-examples

ATS Programming examples built with atspkg build

ats-elixir-ffi-example

An extremely minimal example of creating an Erlang/Elixir NIF/FFI in ATS

atshtml

A static HTML eDSL for ATS2

blaze-html

A blazingly fast HTML combinator library for Haskell.

braindump

knowledge repository managed with org-mode and org-roam.

broad-coq-tutorial

Some unstructured notes concerning the Broad tutorial to take place in March 2020

brod

Apache Kafka client library for Erlang/Elixir

bumba

campinas

Experimental delimited continuations library for Elixir using shift / reset

cas

Apereo CAS - Enterprise Single Sign On for all earthlings and beyond.

cdk-emqx-cluster

chumak

Pure Erlang implementation of ZeroMQ Message Transport Protocol.

cloudflare-blog

Cloudflare Blog code samples

conduit_amqp

continuations-study-group

craftinginterpreters

Repository for the book "Crafting Interpreters"

credo

A static code analysis tool for the Elixir language with a focus on code consistency and teaching.

deleteme

dhall-ansible

Ansible definitions with Dhall

direct-sqlite