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

A good introduction to the internals of Prolog.

https://www.amzi.com/articles/prolog_under_the_hood.htm

A perfect book on the art of solving problems by Sanjoy Mahajan. You can download the PDF version for free (see the "Open Access" tab).

https://mitpress.mit.edu/books/street-fighting-mathematics

Another book written by Sanjoy Mahajan on solving engineering and scientific tasks.

https://mitpress.mit.edu/books/art-insight-science-and-engineering

The free PDF copy is available on the "Open Access" tab.