🦞🌯 Lobster Roll

Thread

Prototyping a small subset of Luau in Agda (github.com)

Stories related to "Prototyping a small subset of Luau in Agda" across the full archive.

Prototyping a small subset of Luau in Agda (github.com)
Micro C: A compiler for a small subset of C to LLVM in Haskell (blog.josephmorag.com)
TinyGL : a Small, Free and Fast Subset of OpenGL (bellard.org)
8cc: a small C compiler (github.com)
Ur-Scheme: A GPL self-hosting compiler from a subset of R5RS Scheme to fast Linux x86 asm (canonical.org)
Preact: Smaller & faster subset of React with compatible API (github.com)
A small lisp interpreter from xedit, implementing a subset of Common Lisp (cgit.freedesktop.org)
An almost forgotten feature of the simple text editor for X, xedit, is a small lisp interpreter implementing a subset of Common Lisp, which includes support for shared modules, a simple debugger and a bytecode compiler.
A Small Nanopass Example (rootmos.github.io)
JIT compiling a subset of Python to x86-64 (csl.name)
How to Build a High-Performance VM for Squeak/Smalltalk in Your Spare Time (2016) (hpi.uni-potsdam.de)
Git Blame Who?: Stylistic Authorship Attribution of Small, Incomplete Source Code Fragments (arxiv.org)
Abstract—Program authorship attribution has implications for the privacy of programmers who wish to contribute code anonymously. While previous work has shown that completeles that are individually authored can be attributed, we show here for the rst time that accounts belonging to open source contr...
Smalltalk with the GraalVM (javaadvent.com)
A Compiler Writing Journey - self-compiling C subset (github.com)
"I broke JPEGs for a very small subset of images" (twitter.com)
Prototyping a Small Genetic Algorithms Library in Haskell (2019) (dev.to)
Luau - A fast, small, safe, gradually typed embeddable scripting language derived from Lua (roblox.github.io)
qbe: a small x64 compiler backend in pure C (c9x.me)
An LFS like guide for cross-bootstrapping a small system for the Raspberry Pi (github.com)
chibicc - A small C compiler (github.com)
Mugo, a toy compiler for a subset of Go that can compile itself (benhoyt.com)
Back to the future: the story of Squeak, a practical Smalltalk written in itself (1997) (vpri.org)
PocketLang - a small, fast and friendly language for scripting and embedding (thakeenathees.github.io)
Implementing Co, a Small Interpreted Language With Coroutines #2: The Interpreter (abhinavsarkar.net)
List of 140+ programming languages, including smaller, lesser-known and experimental ones (github.com)
Compiling a Subset of JavaScript to ARM Assembly in Haskell (micahcantor.com)
Toy JS | A small compile-to-js language (marcellerusu.com)
Smaller debug info with constructor type homing (2021) (blog.llvm.org)
Implementing Co, a Small Language With Coroutines #4: Adding Channels (abhinavsarkar.net)
Sista: Speculative Inlining, Smalltalk-Style (2016) (youtube.com)
What's the smallest statically typed language implemented in itself? (old.reddit.com)