MEGA65 is a project reimplementing the classical Commodore 65 using FPGA. All the deliverables are open source. The design is amazing!

http://mega65.org

A blog that tells how to create a simple OS kernel in the Rust programming language.

https://os.phil-opp.com/

Red is an imperative programming language with very rich standard library including many domain specific type definitions.

The syntax of Red is similar to Rebol - commercial language developed specially for small footprint WEB applications (like Silverlight or Java).

Red also includes a subset for systems programming. Its syntax can be easily parsed as a data structure and doesn't require any complex parser generators.

https://www.red-lang.org

9p is a famous distributed filesystem protocol originated in the Plan9 operating system. It is known as well designed, robust and easily portable.

The following series of posts describes step by step how the protocol can be implemented from the ground up in the go programming language.

https://blog.aqwari.net/9p/

Vis is a modern Vim-like text editor with a clean codebase, flexible lua-based plugin system and a Sam-compliant command language.

https://github.com/martanne/vis

With this tutorial you will know why Ocaml's integers are only 31bits long, how its memory manager provides quick allocations and much more.

https://rwmj.wordpress.com/2009/08/04/ocaml-internals/

Factor is a modern concatenative programming language with FORTH-like syntax and a rich standard library.

http://factorcode.org

#forth #plt #programming #retro #compiler

Kore.io is a convenient framework for making WEB-applications in the C programming language.

https://kore.io

Many programmers know CPAN - an archive of libraries and code snippets for the Perl language. CCAN is an analogue for C. It has a good package base and a dependency tracking tool.

https://ccodearchive.net

A collection of single-file C code libraries.

https://github.com/nothings/stb

Here Jeff Preshing explains how to sort one million of integers in one megabyte of RAM.

https://preshing.com/20121026/1mb-sorting-explained/

I was surprised when I first saw how many applications in commerce the Pharo language had. Before, it seemed to me that Smalltalk was almost dead.

Pharo is a modern Smalltalk dialect with a convenient IDE including very powerfull interactive debugger. It is both the object-oriented development environment and a language-based operating system.

https://pharo.org

Chicken Scheme is a modern compiler for the R5RS Scheme programming language. It compiles Scheme code to C and allows easy FFI through foreign lambda interface.

The compiler supports many extensions to the base language and has a rich code library.

https://www.call-cc.org

C is a perfect translation target for many high-level programming languages. It can be easily used as a flexible intermediate language which is perfectly optimized, it can be built for almost any existing platform.

The following article shows a simple example of a FORTH to C translator. The author describes how to feed gdb with proper info about source language lines locations to simplity debugging and provide pretty backtraces in known IDEs.

https://yosefk.com/blog/c-as-an-intermediate-language.html

A perfect article about compilation of tail-recursive functions with the C language in the role of a target.

http://home.pipeline.com/~hbaker1/CheneyMTA.html

An enlightening article about linear type systems with a simple Lisp machine as an example.

http://home.pipeline.com/~hbaker1/LinearLisp.html

Полiт ОС - графическая оболочка для DOS с приятным глазу современным оконным интерфейсом. В полiт есть блокнот, плеер, двухпанельный менеджер файлов, менеджер контактов, игры и справочная система. Ввод в этой оболочке поддерживает английскую, русскую и украинскую раскладки.

Это компактное чудо написано на TurboPascal 7.0, а в коде может разобраться каждый - он открыт под GPL-совместимой лицензией.

http://bespin.org/~polit/

Updated and refactored Programming Language Zoo by Andrej Bauer.

Many examples of compilers and interpreters for various types of simplified programming languages: functional and imperative, lazy and eager, procedural and object oriented.

http://plzoo.andrej.com

A simple introduction to the type theory by Andrej Bauer.

http://math.andrej.com/2017/12/11/spartan-type-theory/

A video with the lecture mentioned in the previous post on the spartan type theory.

https://vimeo.com/286652934

Visopsys is an old but still alive OSdev project performed generally by only one author.

https://visopsys.org