Index|Projects|Planet|Services

Projects

orcircd

orcircd is an IRCd implementation written in OCaml. Based on both a mixture of the classic IRC RFCs, and ratified parts of the IRCv3 specification, orcircd attempts to build a modern, extensible, secure, and performant IRC server with all of the guarantees of a strongly-typed and well specified compiler.

Programming Components
OCaml
Relationship
Author
Website
https://orcircd.org/
Forge
Sourcehut, Stagit [mirror]
License
GNU AGPLv3+

precis

OCaml implementation of RFC 8264, 8265, and 8266 (“PRECIS”).

Programming Components
OCaml
Relationship
Author
Website
https://orcircd.org/precis/
Forge
Sourcehut
License
GNU GPLv3+

ident

OCaml implementation of RFC 1413 (“Identification Protocol”)

Programming Components
OCaml
Relationship
Author
Website
https://orcircd.org/ident/
Forge
Sourcehut
License
GNU GPLv3+

telega.el

telega.el is a complete front-end for the Telegram chat protocol written in Emacs Lisp for GNU Emacs. telega.el offers unconventional features for GNU Emacs users, such as in-line syntax highlighting, ibuffer-style chat filtering, and message squashing.

Programming Components
Emacs Lisp, C, Makefile
Relationship
Co-maintainer
Forge
GitHub, Stagit [mirror]
License
GNU GPLv3+

Debian

Debian was begun in August 1993 by Ian Murdock, as a new distribution which would be made openly, in the spirit of Linux and GNU. Debian was meant to be carefully and conscientiously put together, and to be maintained and supported with similar care. It started as a small, tightly-knit group of Free Software hackers, and gradually grew to become a large, well-organized community of developers and users.

Programming Components
Varies by project
Relationship
Contributor, Science & OCaml teams
Website
https://www.debian.org/
Forge
Salsa GitLab
License
Varies by project

GNU Guix

GNU Guix is an advanced distribution of the GNU Operating System, written in the GNU Guile dialect of Scheme. Featuring a fully-functional package manager which supports transactional upgrades and roll-backs, unprivileged use, and declarative configuration which can be installed on “foreign” distributions. GNU Guix privileges reproducible builds, deterministic packaging, and extensibility using the metaprogrammability of the Scheme programming language. Additionally, GNU Guix as a distribution features a PID-1 also written in GNU Guile, GNU Shepherd.

Programming Components
Scheme, C++, GNU Bash, Makefile, M4, C
Relationship
Verified Committer
Website
https://guix.gnu.org/
Forge
Savannah CGIT, Stagit [mirror]
License
GNU GPLv3+

GNU.org

The primary website of the GNU Project, detailing GNU software, licenses, education, philosophy, and more.

Programming Components
HTML, CSS, GNU Bash
Relationship
Webmaster
Website
https://www.gnu.org/
Forge
Savannah CVS
License
CC-BY-ND 4.0

org-webring

org-webring is an alternatie implmenetation of an XML/RSS webring, taking inspiration from openring by Drew DeVault. Intended to integrate with websites and blogs using Org-mode (either directly, or indirectly as in ox-hugo), it will fetch a given list of RSS feed files and correctly parse, format, and display the elements for sharing with your audience.

Programming Components
Emacs Lisp
Relationship
Author
Forge
Sourcehut, Stagit [mirror]
License
GNU GPLv3+

OCaml

OCaml is an implementation of the ML language, based on the Caml Light dialect and extended with a complete class-based object system and a powerful module system in the style of Standard ML.

Programming Components
OCaml, C, GNU Bash, Assembly, Makefile
Relationship
Contributor
Website
https://ocaml.org/
Forge
GitHub, Stagit [mirror]
License
GNU LGPLv2.1