A beautiful introduction to the Scheme programming language. Having the tutorial passed you will definitely know everything necessary to read SICP.
http://www.shido.info/lisp/idx_scm_e.html
http://www.shido.info/lisp/idx_scm_e.html
www.shido.info
Yet Another Scheme Tutorial
Scheme Tutorial for beginners
A statically typed research programming language for realtime applications with compile-time object ownership tracking.
https://github.com/carp-lang/Carp
https://github.com/carp-lang/Carp
GitHub
GitHub - carp-lang/Carp: A statically typed lisp, without a GC, for real-time applications.
A statically typed lisp, without a GC, for real-time applications. - carp-lang/Carp
An article with adaptation of the technique proposed by Alessandro Warth in Packrat Parsesrs Can Support Left Recursion to the case of "pure" PEGs.
https://tratt.net/laurie/research/pubs/papers/tratt__direct_left_recursive_parsing_expression_grammars.pdf
https://tratt.net/laurie/research/pubs/papers/tratt__direct_left_recursive_parsing_expression_grammars.pdf
An example of a packrat parser written by Richard WM Jones in Ocaml to parse a simple left-recursive grammar.
https://rwmj.wordpress.com/2010/12/29/packrat-parser-with-left-recursion/
https://rwmj.wordpress.com/2010/12/29/packrat-parser-with-left-recursion/
Richard WM Jones
Packrat parser with left recursion
Traditional bottom-up LALR(1) parsers like yacc are both complex to implement and limited in what they can parse. In contrast, top-down packrat parsers (good Wikipedia intro) are simple to write fr…
A tutorial on writing a toy Web browser engine in Rust.
https://limpet.net/mbrubeck/2014/08/08/toy-layout-engine-1.html
https://limpet.net/mbrubeck/2014/08/08/toy-layout-engine-1.html
limpet.net
Let's build a browser engine!
Part 1: Getting started
Part 1: Getting started
A repository with correctness proves of the leftpad function written in HOL4, Isabelle, Agda, Idris, Coq and etc.
https://github.com/hwayne/lets-prove-leftpad
https://github.com/hwayne/lets-prove-leftpad
GitHub
GitHub - hwayne/lets-prove-leftpad: Proving leftpad correct two-dozen different ways
Proving leftpad correct two-dozen different ways. Contribute to hwayne/lets-prove-leftpad development by creating an account on GitHub.
Хороший блог на русском языке о системном программировании, радиоэлектроннике и микроконтроллерах.
https://eax.me
https://eax.me
Retro Recipes is a show focused on refurbrishing of retro computers and history of personal computing.
https://www.youtube.com/channel/UC6gARF3ICgaLfs3o2znuqXA
https://www.youtube.com/channel/UC6gARF3ICgaLfs3o2znuqXA
YouTube
Retro Recipes x Commodore
👾 Tech & TV nostalgia + your backstage portal to Commodore® from the CEO's desk 💁🏻♂️
Join The Fractics & the whole Commodore Crew! On select Saturdays we dive deep into retro tech, unbox history, and sail forward with a legacy we all share. Whether you’re…
Join The Fractics & the whole Commodore Crew! On select Saturdays we dive deep into retro tech, unbox history, and sail forward with a legacy we all share. Whether you’re…
GrafX2 is a modern pixel art editor highly inspired by the Amiga's version of Deluxe Paint. I like this program not only because of its functional strengths, but also because of the interface made with own retro-looking UI toolkit.
http://grafx2.chez.com/
http://grafx2.chez.com/
A Type 1 reference hypervisor for X86 supported by Intel and Linux Foundation. It targets the automotive and IOT applications.
https://projectacrn.org
https://projectacrn.org
Project ACRN™
Home - Project ACRN™
..Read more
Supplementary materials to the compilers course of the Michigan State University.
https://www.cse.msu.edu/~cse450/Lectures/
https://www.cse.msu.edu/~cse450/Lectures/
A denoscription of the way how BISON-generated LALR(1) parsers work internally, all the internal data tables are compared to the ones described in the well known Dragon Book.
https://www.cs.uic.edu/~spopuri/cparser.html
https://www.cs.uic.edu/~spopuri/cparser.html
A beautiful collection of extremely tiny compilers of simple programming languages.
https://github.com/marcpaq/b1fipl
https://github.com/marcpaq/b1fipl
GitHub
GitHub - marcpaq/b1fipl: A Bestiary of Single-File Implementations of Programming Languages
A Bestiary of Single-File Implementations of Programming Languages - marcpaq/b1fipl
An amazing list of articles written by Matt Might on various topics, from lambda calculus to compilers development, from tips for academic talks to cryptography.
http://matt.might.net/articles/
http://matt.might.net/articles/
A tribute to the original series of articles Let's Build a Compiler (Jack Crenshaw) written by Marcel Hendrix. The structure is the same, but the implementation language is Forth and the target is x86.
http://home.iae.nl/users/mhx/crenshaw/tiny.html
http://home.iae.nl/users/mhx/crenshaw/tiny.html
home.iae.nl
Let's Build a Compiler: Tiny Kiss in iForth
TINY and KISS implemented in iForth.
A nice talk at FOSDEM about writing a FORTH compiler for the classic Gameboy through reverse engineering of a working hello-world ROM.
https://fosdem.org/2019/schedule/event/retro_gbforth/
https://fosdem.org/2019/schedule/event/retro_gbforth/
archive.fosdem.org
FOSDEM 2019 - GBForth: Using Forth to understand the Game Boy
Perhaps you remember that I already wrote about the programming language Factor. Today I want to post a link to an unofficial tutorial for beginners, which makes clear the "taste of the language"
https://andreaferretti.github.io/factor-tutorial/
#forth #tutorial #programming
https://andreaferretti.github.io/factor-tutorial/
#forth #tutorial #programming
Отличная статья 2013 года о реализации клона Nintendo Entertainment System на базе отладочной платы Altera DE2-115 с FPGA.
https://m.habr.com/ru/post/185872/
https://m.habr.com/ru/post/185872/
Хабр
NES, реализация на FPGA
Добрый день! Я хочу рассказать о проекте игровой консоли Nintendo Entertainment System (NES) в реализации на FPGA. На постсоветском пространстве она известна как Dendy. Желающих посмотреть...
A nice explanation of the three projections of Futamura.
http://blog.sigfpe.com/2009/05/three-projections-of-doctor-futamura.html?m=1
http://blog.sigfpe.com/2009/05/three-projections-of-doctor-futamura.html?m=1
Sigfpe
The Three Projections of Doctor Futamura
Introduction The Three Projections of Futamura are a sequence of applications of a programming technique called 'partial evaluation' or 'sp...