Lament Configuration

Resilient LL Parsing Tutorial

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

2023-06-09 13:46:51.108955 — @gdritter

mxgmn/MarkovJunior

https://github.com/mxgmn/MarkovJunior

2022-06-01 11:48:17.139137 — @gdritter

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

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

2017-08-19 06:24:37 — @gdritter

68 Resources on creating programming languages

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

2017-04-22 15:35:22 — @gdritter

History of Programming Languages

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

2017-04-10 18:46:30 — @gdritter

Generics in Small Doses: Nanopass Compilation with Haskell

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

2017-02-06 15:42:22 — @gdritter

Experiments in Code Typography

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

2016-07-06 17:48:33 — @gdritter

PLOT: Programming Language for Old-Timers

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

2016-07-02 09:24:40 — @gdritter

Suppl: A Flexible Language for Policies

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

2016-06-13 03:14:24 — @gdritter

An Array-Oriented Language with Static Rank Polymorphism

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

2016-03-30 18:45:12 — @gdritter

ink: a programming language for choice-based IF

https://github.com/inkle/ink

2016-03-13 18:40:53 — @gdritter

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

2016-02-09 01:08:35 — @gdritter

Introduction to the Zig Programming Language

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

2016-02-09 01:07:45 — @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 07:40:51 — @gdritter

Implementing a JIT Compiler with Haskell and LLVM

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

2016-02-01 19:39:20 — @gdritter

Types for Flexible Objects

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

2016-02-01 19:19:37 — @gdritter

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

https://github.com/trith/trith

2016-02-01 19:19:04 — @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 19:06:26 — @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 11:01:27 — @gdritter

LIL, the Little Implementation Language

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

2016-01-16 11:01:23 — @gdritter

The Faust Language for real-time audio signal processing

http://faust.grame.fr/

2016-01-16 11:01:19 — @gdritter

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

2016-01-16 11:00:40 — @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 10:58:11 — @gdritter

Toward Better UI Programming Models

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

2016-01-16 10:57:58 — @gdritter

Prolog for Programmers

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

2016-01-16 10:57:23 — @gdritter

Why I'm Interested In Haskell

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

2016-01-16 10:56:16 — @gdritter

Notes on Raph Levien's "Io" Programming Language

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

2016-01-16 10:55:15 — @gdritter

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

2016-01-16 10:53:21 — @gdritter

The Rant Procedural Text Generation DSL

https://github.com/TheBerkin/Rant

2016-01-16 10:52:46 — @gdritter

Brutal [Meta]Introduction to Dependent Types in Agda

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

2016-01-16 10:52:33 — @gdritter

http://atomo-lang.org/

2016-01-16 10:46:17 — @gdritter

ANSI C standard

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

2016-01-16 10:44:45 — @gdritter

Felix Winkelmann's Software

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

2016-01-16 10:43:34 — @gdritter

K: A rewrite-based executable semantic framework

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

2016-01-16 10:42:33 — @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 10:41:10 — @gdritter

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

2016-01-16 10:37:58 — @gdritter

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

2016-01-16 10:29:26 — @gdritter

A Taste of Linear Logic

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

2016-01-16 10:28:40 — @gdritter

The Mezzo Programming Language

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

2016-01-16 10:27:44 — @gdritter

Classic Papers in Programming Languages and Logic

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

2016-01-16 10:26:26 — @gdritter

Why Concatenative Programming Matters

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

2016-01-16 10:23:58 — @gdritter

gcmc - G-Code Meta Compiler

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

2016-01-16 10:22:13 — @gdritter

Lobster: a game programming language

http://strlen.com/lobster

2016-01-16 10:20:11 — @gdritter

Deconstraining DLSs

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

2016-01-16 10:19:26 — @gdritter

A Couple of Interesting DSLs

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

2016-01-16 10:19:00 — @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 10:18:39 — @gdritter

Polymorphic Algebraic Data Type Reconstruction

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

2016-01-16 10:17:24 — @gdritter

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

2016-01-16 10:16:54 — @gdritter

Monads, Arrows, and Idioms

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

2016-01-16 10:16:14 — @gdritter

http://esoteric.codes/

2016-01-16 10:11:34 — @gdritter

first

prev

next

last