ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS.
This site is a companion to the influential computer-science text Structure and Interpretation of Computer Programs, by Abelson, Sussman, and Sussman. Its purpose is to demonstrate the Web's potential to be a channel for innovative support for textbook users.
Today’s software apps are like appliances: we can only use the capabilities exactly as programmed by the developer. What if we, and all computer users, could reach in and modify our favorite apps? Or even create new apps on the fly according to our needs in the moment?
Flutter allows you to build beautiful native apps on iOS and Android from a single codebase.
Which Programming Languages Use the Least Electricity?
Fyne's APIs aim to be the best for developing beautiful, usable, lightweight applications for desktop and beyond. Driven by design and usability principles we are breaking free of the current desktop app drudgery and create a joyous experience.
Fyne is an easy to use UI toolkit and app API written in Go. We use OpenGL (through the go-gl and go-glfw projects) to provide cross platform graphics.
Web data collection and storage for intelligent use cases.
V Programming Language. Fast, safe, compiled language created for developing Volt, soon available for everyone
A modular network stack. Run your network applications free from runtime and address services, independently of their location.
Let Over Lambda (ISBN 978-1-4357-1275-1, 376+iv pp.) is one of the most hardcore computer programming books out there. Starting with the fundamentals, it describes the most advanced features of the most advanced language: COMMON LISP. The point of this book is to expose you to ideas that you might otherwise never be exposed to.
gomacro is an almost complete Go interpreter, implemented in pure Go. It offers both an interactive REPL and a scripting mode, and does not require a Go toolchain at runtime (except in one very specific case: import of a 3rd party package at runtime).
The Node.js and React Native IDE for iPhone and iPad