reflex-vty is a Haskell library for building terminal applications using functional reactive programming.
Read more
Search Results for: free programming tutorials
Best Free and Open Source Julia Static Site Generators
We have compiled the best Julia static site generators. These tools are released under a freely distributable license.
Read more
11 Best Free and Open Source Proof Assistants
A proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration.
Read more
12 Best Free and Open Source Linux eCommerce Software
This feature focuses on shopping cart software, which is software used in eCommerce to enable consumers to purchase goods and services online.
Read more
7 Best Free and Open Source Crystal Static Site Generators
We have compiled a list of 5 best Crystal static site generators. All of these tools are released under an open source license.
Read more
11 Best Free and Open Source Survey Tools
The software featured here lets you build fully-customizable surveys, forms and quizzes.
Read more
12 Best Free and Open Source Host-Based Intrusion Detection Systems
An intrusion detection system is a device or software application that monitors a network or systems for malicious activity or policy violations.
Read more
5 Best Free and Open Source Elm Static Site Generators
Here’s our recommended Elm static site generators. All of these tools are released under a freely distributable license.
Read more
Aya – proof assistant and dependently-typed programming language
Aya is a proof assistant and dependently-typed programming language. It supports advanced type-theoretic features.
Read more
9 Best Free and Open Source Configuration Management Databases
We recommend the best configuration management databases.
Read more
9 Best Free and Open Source OCR Screen Capture Tools
This article highlights OCR powered screen-capture tools to capture information instead of images.
Read more
6 Best Free and Open Source Web-Based Mastodon Clients
Here’s our verdict on the finest web-based Mastodon clients captured in a legendary LinuxLinks-ratings chart.
Read more
F* – general-purpose, proof-oriented programming language
F* (pronounced F star) is a programming language designed for writing programs together with machine-checked proofs of their properties.
Read more
14 Best Free and Open Source Linux Renderers
We recommend awesome free and open source software for rendering.
Read more
Hot Free and Open Source Application Servers for Lua
An application server is computer software which provides the business logic for an application program. Here’s our recommended servers for Lua.
Read more
8 Best Free and Open Source Graphical Gemini Clients
Gemini is a group of technologies similar to the ones that lie behind your familiar web browser. We recommend the best graphical Gemini clients.
Read more
11 Best Free and Open Source Text-Based Mastodon Clients
Mastodon is a free and open source microblogging platform similar to X, but with user privacy and decentralization in mind.
Read more
8 Top Free and Open Source Erlang Web Frameworks
One of the types of software that’s important for a web developer is the web framework. We explore Erlang web frameworks.
Read more
5 Hot Free and Open Source PHP Application Servers
An application server is computer software which provides the business logic for an application program.
Read more
3 Top Free and Open Source D Web Frameworks
D is a general-purpose systems programming language with a C-like syntax that compiles to native code.
Read more