Resources for the working programmer to learn more about the fundamentals and theory of programming languages.

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

DEPRECATED - See README.md

C Bounded Model Checker

A metaprogramming library for Erlang.

A library that simplifies working with the Erlang abstract format.

pySMT: A library for SMT formulae manipulation and solving

The Boomerang Bidirectional Programming Language

10 papers that all PhD students in programming languages ought to know, for some value of 10

A simple Prolog API for the Z3 constraint solver

Problems in data structures and algorithms.

αProlog

An implementation of the dining philosophers problem in Erlang

Prototype implementation of Lasp in Erlang.

A Causal-Consistent Debugger for (Core) Erlang

Erlang Declarative Debugger

F# to core erlang compiler experiment

erlang tracing debugger

A curated list of awesome Erlang libraries, resources and shiny things.

A tool for reversible computation in C++ based on incremental state saving.

A Jekyll theme with some tumble-log tendencies.

SecEr: Erlang Code Evolution Control Tool

An implementation of the reversible semantics for Erlang.

A tool for the transformation of an irreversible Term Rewriting System into a reversible one

Concuerror is a stateless model checking tool for Erlang programs.

SWI-Prolog for SHaring: a SWI-Prolog web IDE

List of Computer Science courses with video lectures.

Lightweight Toolbox for LaTeX - New Official repository

A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.