Kilo is an extremely tiny open source text editor written in C.

https://github.com/antirez/kilo

Nora Sandler's blog with a series on writing a compiler for a small but growing subset of the C programming language. The source code for the NQCC compiler is available on github.

https://norasandler.com/

An open source programming environment for kids with look of the Commodore 64's basic editor. It allows to make simple graphical demos and games in Lua.

https://github.com/antirez/load81

A simple but very funny WEB framework written in GFORTH.

http://www.1-9-9-1.com

Slides by Xavier Leroy on compiling functional languages.

https://xavierleroy.org/talks/compilation-agay.pdf

Ultralight is an optimized WebKit-based solution for HTML UIs in C++ applications.

https://ultralig.ht/

Tigr — a tiny SDL-like library for simple graphics rendering. Only Mac OS and MS Windows are supported but the library is very small and includes a bitmap font, a simple PNG loader and basic drawing procedures.

https://bitbucket.org/rmitton/tigr/overview

Tiny — a nice statically typed noscripting language with small embeddable compiler and VM.

https://github.com/goodpaul6/Tiny

A speech at CppCon 2018 by Morris Hafner about writing UEFI applications in modern C++.

https://m.youtube.com/watch?v=z6wKEJ-daD4

Sourcehut is an open source project management software similar to Github but with very lightweight implementation. I works even if JavaScript is disabled in the browser! Along with such standard features as management of Git repositories and ticket tracking it has tools for continuous integration, task management, documentation (in wikis), etc.

https://sourcehut.org/

An extremely small TCL interpreter written in C.

http://antirez.com/picol/picol.c.txt

One more embeddable TCL interpreter in C.

https://zserge.com/blog/tcl-interpreter.html

The following page contains a denoscription of the PCF file format's internals. PCF is a raster font format used by X Server.

https://fontforge.github.io/en-US/documentation/reference/pcf-format/

I didn't know that, but as a research activity Microsoft developed a verifier for concurrent C programs. They planned to use the verifier (VCC) to prove correctness of Hyper-V.
To verify your program you have to add special annotations describing state assertions, function contracts and type invariants. VCC will generate a set of mathematical statements and try to prove them using an automatic theorem prover.

https://archive.codeplex.com/?p=vcc

13 апреля в павильоне "Книги" ВВЦ пройдет презентация художественной книги Александра Панчина. Александр расскажет, чем страшна апофения - недуг, которым страдает общество из его антиутопии. Апофения - фантастическое произведение, но через него автор знакомит нас с распространенным когнитивным искажением, последствиями этой ошибки восприятия для личности и общества.

Требуется бесплатная регистрация на мероприятие.

https://fgbuk-gmvts-rosizo.timepad.ru/event/936354/

Pixie is a minimal cross-platform C++ library for simple drawing and input handling. It also includes a simple immediate GUI framework with a set of basic UI-elements like buttons, input fields, etc. Only Windows and MacOS backends are supported, but it should be easy to add X11 one.

https://github.com/samizzo/pixie

A blog by Drew DeVault — the author of Sway and Sourcehut.

https://drewdevault.com

A paper on the design of Orca — a novel approach to automatic memory reclaim used in the Pony programming language.

https://www.ponylang.io/media/papers/orca_gc_and_type_system_co-design_for_actor_languages.pdf

A static site generator with incremental updates written in shell:

https://www.romanzolotarev.com/ssg.html

I have always liked the idea that art cannot live without limitations. The finest masterpieces are born using the most primitive tools. Maybe that's why I love computer retro art and the demoscene. Today's link will be to an excellent archive of ANSI art. Thanks to this site, I also learned about the program ansilove, which allows you to convert popular formats of ANSI sketches to PNG images, as well as the editor of ANSI art — pablodraw.

https://16colo.rs/