programming.dev

9,096 readers
332 users here now

Welcome Programmers!

programming.dev is a collection of programming communities and other topics relevant to software engineers, hackers, roboticists, hardware and software enthusiasts, and more.

The site is primarily english with some communities in other languages. We are connected to many other sites using the activitypub protocol that you can view posts from in the "all" tab while the "local" tab shows posts on our site.


๐Ÿ”— Site with links to all relevant programming.dev sites

๐ŸŸฉ Not a fan of the default UI? We have alternate frontends we host that you can view the same content from

โ„น๏ธ We have a wiki site that communities can host documents on


โš–๏ธ All users are expected to follow our Code of Conduct and the other various documents on our legal site

โค๏ธ The site is run by a team of volunteers. If youre interested in donating to help fund things such as server costs you can do so here

๐Ÿ’ฌ We have a microblog site aimed towards programmers available at https://bytes.programming.dev

๐Ÿ› ๏ธ We have a forgejo instance for hosting git repositories relating to our site and the fediverse. If you have a project that relates and follows our Code of Conduct feel free to host it there and if you have ideas for things to improve our sites feel free to create issues in the relevant repositories. To go along with the instance we also have a site for sharing small code snippets that might be too small for their own repository.

๐ŸŒฒ We have a discord server and a matrix space for chatting with other members of the community. These are bridged to each other (so you can interact with people using matrix from discord and vice versa.

Fediseer


founded 2 years ago
ADMINS
1
55
Ironclad - an OS kernel in Ada (ironclad.nongnu.org)
submitted 1 year ago by ada to c/programming
 
 

cross-port from: https://programming.dev/post/5377847

Ironclad is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in SPARK and Ada. It is comprised of 100% free software, free in the sense that it respects the user's freedom.

Some of the supported features are:

  • A familiar POSIX-compatible interface.
  • True simultaneous preemptive multitasking.
  • Advanced cryptography and a security-centered architecture.
  • Mandatory Access Control (MAC).
  • Highly configurable, hard real-time scheduling.
  • Support for several architectures and boards.

Today (4 Nov 2023) at 14:00 UTC the author will preset it on Ada Monthly Meetup!

2
9
Ironclad - an OS kernel in Ada (ironclad.nongnu.org)
submitted 1 year ago by ada to c/ada
 
 

Ironclad is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in SPARK and Ada. It is comprised of 100% free software, free in the sense that it respects the user's freedom.

Some of the supported features are:

  • A familiar POSIX-compatible interface.
  • True simultaneous preemptive multitasking.
  • Advanced cryptography and a security-centered architecture.
  • Mandatory Access Control (MAC).
  • Highly configurable, hard real-time scheduling.
  • Support for several architectures and boards.

Today (4 Nov 2023) at 14:00 UTC the author will preset it on Ada Monthly Meetup!

view more: next โ€บ