Flix is a principled effect-oriented functional, imperative, and logic programming language developed at Aarhus University and by a community of open source contributors.
Integrating functional and imperative programming | Proceedings of the 1986 ACM conference on LISP and functional programming
We present a new model, based on monads, for performing input/output in a non-strict, purely functional language. It is composable, extensible, efficient, requires no extensions to the type system, and extends smoothly to incorporate mixed-language ...
OCaml Programming: Correct + Efficient + Beautiful — OCaml Programming: Correct + Efficient + Beautiful
A textbook on functional programming and data structures in OCaml, with an emphasis on semantics and software engineering. This book is the textbook for CS 3110 Data Structures and Functional Programming at Cornell University. A past title of this book was “Functional Programming in OCaml”.
fx - Tiny, open, native coding agent
Tiny, open, native coding agent. A minimal CLI written in Zig, optimized for research and embeddability as part of larger systems.
Prism: An Impure Functional Language With Typed Effects - Stephen Diehl
Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future
quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Why Futhark?
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
Shop
The FLX1 runs FuriOS, which is an operating system based on Debian, designed and oriented for mobile use without any artificial limitations.
Swival — A coding agent for any model
A CLI coding agent built to be reliable with smaller models, including local ones. Designed for tight context windows and limited resources. Works with LM Studio, llama.cpp, HuggingFace, OpenRouter, Google Gemini, Vertex AI, ChatGPT Plus/Pro, AWS Bedrock, and any OpenAI-compatible server.
Managing Agent Skills with Your Package Manager | pavel.pink
AI coding agents use skills — markdown files that teach them domain-specific tasks. We publish ours as conda packages and manage them with pixi, getting versioning, lockfiles, and supply chain security for free.
goose | Your open source AI agent
Your native open source AI agent. Desktop app, CLI, and API — for code, workflows, and everything in between.
SOLID: The Software Design, Architecture & Testing Wiki
Learn to write testable, flexible, maintainable code with TypeScript.
Boomerang | Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy - i.e., every program can be read as a function mapping sources to views as well ...
the hermetic, self-hosted, self-sustainable, recursively exportable, offline-first, file-first, web-based reactive open-source programming substrate built on observable runtime is online finally! tomlarkworthy.github.io/lopecode/webpage.html I am hoping I can explain parts at @hytradboi.bsky.social 🤞
