| Agda |
https://github.com/agda/agda |
Type theory, theorem prover |
Jesper Cockx |
| Backstage |
https://github.com/backstage/backstage |
Building Dev Portals |
Chris Langhout |
| DuckDB |
https://github.com/duckdb/duckdb |
In-process SQL OLAP DB |
Arjen de Vries |
| Express.js |
https://github.com/expressjs/express |
Back-end web application framework for Node.js |
Diomidis Spinellis |
| Freeplane |
https://github.com/freeplane/freeplane |
Mind map editor |
Diomidis Spinellis |
| Ghidra |
https://github.com/NationalSecurityAgency/ghidra |
Security, decompilation |
Arie van Deursen |
| Hugo |
https://github.com/gohugoio/hugo |
Variability |
Xavier Devroey |
| Log4J2 |
https://github.com/apache/logging-log4j2 |
Security, performance |
Arie van Deursen |
| Mattermost |
https://github.com/mattermost |
Collaboration |
Zef Hemel |
| Netdata |
https://github.com/netdata/netdata |
Real time OS metrics display |
Diomidis Spinellis |
| Near |
https://github.com/near/nearcore |
Smart contracts |
Arie van Deursen |
| Node.js |
https://github.com/nodejs/node |
Back-end JavaScript runtime environment |
Diomidis Spinellis |
| Open Metadata |
https://github.com/open-metadata/OpenMetadata |
Standard for Meta Data |
Anil Kumar |
| Pharo |
https://github.com/pharo-project/pharo |
If your’e into SmallTalk |
Guille Polito |
| PodMan |
https://github.com/containers/podman |
The New Docker |
Arie van Deursen |
| Prettier |
https://github.com/prettier/prettier |
Opiniated Code Formatter |
Tim van der Lippe |
| Processing |
https://github.com/processing/ |
Programming language geared toward visual arts |
Diomidis Spinellis |
| React Native |
https://github.com/facebook/react-native |
UI software framework |
Diomidis Spinellis |
| Rust Analyzer |
https://github.com/rust-analyzer/rust-analyzer |
Program analysis |
Arie van Deursen |
| SIMH |
https://github.com/simh/simh |
Portable multi-system emulator |
Diomidis Spinellis |
| Serenity OS |
https://github.com/SerenityOS/serenity |
Retro OS experience |
Brian Gianforcaro |
| Sonic Pi |
https://github.com/sonic-pi-net/sonic-pi |
Live (music) coding |
Diomidis Spinellis |
| Akka |
https://github.com/akka/akka |
Distribution |
Burcu Kulahcioglu Ozkan |
| AntidoteDB |
https://github.com/AntidoteDB/antidote |
Distribution |
Burcu Kulahcioglu Ozkan |
| Audacity |
https://github.com/audacity/audacity |
Audio Editor |
Diomidis Spinellis |
| Covid Tools |
http://jgbarah.github.io/Notes/foss-covid-tools.html |
Find your favorite |
Arie van Deursen |
| DOSBox-X |
https://github.com/joncampbell123/dosbox-x |
|
Diomidis Spinellis |
| Egeria |
https://github.com/odpi/egeria |
ING |
Arie van Deursen |
| Firecracker |
https://github.com/firecracker-microvm/firecracker |
|
Luís Cruz |
| GraphViz |
https://gitlab.com/graphviz/graphviz |
|
Diomidis Spinellis |
| HLS |
https://github.com/haskell/haskell-language-server |
Haskell IDE |
Leonhard Applis |
| JuliaLang |
https://github.com/JuliaLang/ |
|
Arie van Deursen |
| Pandoc |
https://github.com/jgm/pandoc |
Haskell document converter |
Leonhard Applis |
| roslyn |
https://github.com/dotnet/roslyn |
Program analysis |
Arie van Deursen |
| Scaphandre |
https://github.com/hubblo-org/scaphandre |
Energy |
Luís Cruz |
| Sitespeed |
https://github.com/sitespeedio/sitespeed.io |
|
Luís Cruz |
| Spack |
https://github.com/spack/spack |
Dependency management |
Arie van Deursen |
| Stellar |
https://github.com/stellar |
Distribution |
Burcu Kulahcioglu Ozkan |
| Timescale DB |
https://github.com/timescale/timescaledb |
|
Luís Cruz |
| Wireshark |
https://gitlab.com/wireshark/wireshark |
|
Diomidis Spinellis |
