Lament Configuration

Resilient LL Parsing Tutorial

https://matklad.github.io/2023/05/21/resilient-ll-parsing-tutorial.html

2023-06-09 gdritter

mxgmn/MarkovJunior

https://github.com/mxgmn/MarkovJunior

2022-06-01 gdritter

"What next?" Ideas about the future of programming languages

http://graydon2.dreamwidth.org/253769.html

2017-08-19 gdritter

68 Resources on creating programming languages

https://tomassetti.me/resources-create-programming-languages/

2017-04-22 gdritter

History of Programming Languages

https://github.com/nuprl/hopl-s2017

2017-04-10 gdritter

Generics in Small Doses: Nanopass Compilation with Haskell

http://offog.org/publications/fita200811-generics.pdf

2017-02-06 gdritter

Experiments in Code Typography

http://web.archive.org/web/20140901122802/http://research.microsoft.com/en-us/projects/liveprogramming/typography.aspx

2016-07-06 gdritter

PLOT: Programming Language for Old-Timers

http://users.rcn.com/david-moon/PLOT/

2016-07-02 gdritter

Suppl: A Flexible Language for Policies

http://rwd.rdockins.name/suppl/policy.pdf

2016-06-13 gdritter

An Array-Oriented Language with Static Rank Polymorphism

http://www.ccs.neu.edu/home/shivers/papers/rank-polymorphism.pdf

2016-03-30 gdritter

ink: a programming language for choice-based IF

https://github.com/inkle/ink

2016-03-13 gdritter

Jai Primer

https://github.com/BSVino/JaiPrimer/blob/master/JaiPrimer.md

2016-02-09 gdritter

Introduction to the Zig Programming Language

http://andrewkelley.me/post/intro-to-zig.html

2016-02-09 gdritter

Real Programming in Functional Languages

http://research.microsoft.com/en-us/um/people/simonpj/Papers/other-authors/morris-real-programming.pdf

2016-02-03 gdritter

Implementing a JIT Compiler with Haskell and LLVM

http://www.stephendiehl.com/llvm/

2016-02-01 gdritter

Types for Flexible Objects

https://www.cs.swarthmore.edu/~zpalmer/publications/types-for-flexible-objects_2014-01.pdf

2016-02-01 gdritter

Trith: The Unholy Union of Forth, Lisp, and RDF

https://github.com/trith/trith

2016-02-01 gdritter

The Network as a Language Construct

http://www.ccs.neu.edu/home/tonyg/esop2014/network-as-language-construct-20140117-1204.pdf

2016-02-01 gdritter

Tutorial on the Join Calculus and its implementation in JoCaml

https://sites.google.com/site/winitzki/tutorial-on-join-calculus-and-its-implementation-in-ocaml-jocaml

2016-01-16 gdritter

LIL, the Little Implementation Language

http://www.ultimate.com/phil/lil/

2016-01-16 gdritter

The Faust Language for real-time audio signal processing

http://faust.grame.fr/

2016-01-16 gdritter

pixie language

https://github.com/pixie-lang/pixie

2016-01-16 gdritter

Unit Testing Isn't Enough; You Need Types

http://evanfarrer.blogspot.ca/2012/06/unit-testing-isnt-enough-you-need.html

2016-01-16 gdritter

Toward Better UI Programming Models

http://patricklogan.blogspot.com/2008/06/toward-better-ui-programming-models.html

2016-01-16 gdritter

Prolog for Programmers

https://sites.google.com/site/prologforprogrammers/

2016-01-16 gdritter

Why I'm Interested In Haskell

http://www.jerf.org/iri/post/2908

2016-01-16 gdritter

Notes on Raph Levien's "Io" Programming Language

http://canonical.org/~kragen/raph-io.html

2016-01-16 gdritter

Red Language

http://www.red-lang.org/

2016-01-16 gdritter

The Rant Procedural Text Generation DSL

https://github.com/TheBerkin/Rant

2016-01-16 gdritter

Brutal [Meta]Introduction to Dependent Types in Agda

http://oxij.org/note/BrutalDepTypes/

2016-01-16 gdritter

Atomo Language

http://atomo-lang.org/

2016-01-16 gdritter

ANSI C standard

http://flash-gordon.me.uk/ansi.c.txt

2016-01-16 gdritter

Felix Winkelmann's Software

http://www.call-with-current-continuation.org/

2016-01-16 gdritter

K: A rewrite-based executable semantic framework

http://k-framework.org/index.php/Main_Page

2016-01-16 gdritter

Architectures for interpreters: Substitutional, denotational, big-step and small-step

http://matt.might.net/articles/writing-an-interpreter-substitution-denotational-big-step-small-step/

2016-01-16 gdritter

Owl Lisp

https://code.google.com/p/owl-lisp/

2016-01-16 gdritter

PLT Redex

http://redex.racket-lang.org/

2016-01-16 gdritter

A Taste of Linear Logic

http://homepages.inf.ed.ac.uk/wadler/papers/lineartaste/lineartaste-revised.pdf

2016-01-16 gdritter

The Mezzo Programming Language

http://gallium.inria.fr/~protzenk/mezzo-lang/

2016-01-16 gdritter

Classic Papers in Programming Languages and Logic

http://www.cs.cmu.edu/~crary/819-f09/

2016-01-16 gdritter

Why Concatenative Programming Matters

http://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html

2016-01-16 gdritter

gcmc - G-Code Meta Compiler

http://www.vagrearg.org/content/gcmc-intro

2016-01-16 gdritter

Lobster: a game programming language

http://strlen.com/lobster

2016-01-16 gdritter

Deconstraining DLSs

http://www.doc.ic.ac.uk/~wlj05/files/Deconstraining.pdf

2016-01-16 gdritter

A Couple of Interesting DSLs

http://blog.rafaelferreira.net/2008/04/couple-of-interesting-dsls.html

2016-01-16 gdritter

Focusing is not Call-by-Push-Value

http://semantic-domain.blogspot.com/2014/10/focusing-is-not-call-by-push-value.html

2016-01-16 gdritter

Polymorphic Algebraic Data Type Reconstruction

http://lambda-the-ultimate.org/node/2981

2016-01-16 gdritter

Puzzlescript

http://www.puzzlescript.net/index.html

2016-01-16 gdritter

Monads, Arrows, and Idioms

http://homepages.inf.ed.ac.uk/wadler/topics/monads.html

2016-01-16 gdritter

esoteric.codes

http://esoteric.codes/

2016-01-16 gdritter