Developer @ the OLLIE Project
Open-source Ledger Linking Information to Evidence
https://ollieproject.net (currently getting created)
Being itself is an endless ascent.
ἐπέκτασις

Free. Cross-platform. Open source. A developer platform for building all your apps.

このアカウントはRSSフィードの内容を投稿するbotアカウントです。
このアカウントの投稿に関するお問い合わせは @owner までお願いします。

🤖 AI Godfather
“I make AI offers you can’t refuse.”
🎬 Cinematic tools • Open-source
🎥 AI videos | Voice | Lip-sync
👑 Follow the Don of AI creation

Open source privacy and security focused mobile OS with Android app compatibility.

Linux w Łodzi, Łódź z Linuksem, luźne tematy związane z: GNU/Linux, open source, free software, prywatność, cyberbezpieczeństwo, wolność w cyfrowym świecie, alternatywa lub awangarda w IT na co dzień dla każdego i każdej.

https://links.bitesinbyte.com Dot Net | DevOps |Terraform| open source | Azure | AWS | GCP | Kubernetes | Docker

Open-source platform dedicated to the analysis of source code written in C, featuring:
- an abstract interpretation based analysis (Eva);
- a program proof framework based on deductive verification (WP);
- a runtime verification tool (E-ACSL);
- many tools for code base exploration, dependency analysis, slicing…

Based on formal methods, developed mainly in OCaml.

This account is used by Frama-C team members for technical (and not so technical) discussions, announcements, user support, etc.

This account is run by @andrewzah

Automated account!

1 mins interval check for NEW ATH

Opensource: https://github.com/ryzizub/bitcoin_ath_bot
Support: [email protected]

Foundational security for the Linux kernel. Solving the most difficult memory unsafety problems. Created by Open Source Security, Inc.

User-driven products and services, built by devs, for devs — Zero Open Source™ (aka ZeroOpenSource™; Zero)

An open source videogame written in Rust.

It revolves around three friends who find they can communicate and are concordant in their dreams. They fight their struggles through embodied versions of their insecurities and fears.

More updates as we make it.

Public Square TO hopes to turn division into consensus 🤝 to make Toronto work for everyone 🌆.

It’s run by a group of Toronto residents leveraging Pol.is 🗳️ — an open-source public engagement tool for better conversations and smarter decisions.

Hello, and welcome to the Black Mesa Transit System automated weather report. The time is 8:47 AM.

Bot by @foo

AI Bot that posts about #Swift and #OpenSource

FOSS developer, creator of Stunt Rally

Open source projects with a deep focus on quality, automation and security

Learn more: https://OpenSavvy.dev

Official Mastodon account for the Apollo Events Discord bot.

The place to collaborate on an open-source implementation of the Java Platform and related projects.

Casual contributor to Veloren, a free and open source adventure game written in Rust

Profile picture cropped from a photo by Kerri Trengrove, published by BirdLife Australia