kmx.io : Elixir, Ruby, C, Common Lisp, OpenBSD
Serving all for boundary checks and perfectly sized allocations since 2020.
We find loops, wrong trust vectors, wrong allocations.
1 Hosting
Dedicated hardware, OpenBSD, nginx hosting. We host your Elixir, Ruby, Common Lisp, C/C++ project.
2 Development
Commercial and open-source development targeting BSD, Linux, Windows, Andoid, iOS.
We can deliver small websites rapidly using Ruby on Rails and large scale web applications using Elixir and Phoenix.
2.1 Elixir / Phoenix
We recommend Elixir and Phoenix for high performance web service development.
2.1.1 kmxgit
kmxgit is a web interface to manage a git server accessible via ssh.
Users can configure their ssh keys and manage git repositories. Permissions are strict. Private and public repositories are supported since version 0.2 .
2.2 C
C is probably the true reason for the success of UNIX as an operating system.
2.2.1 KC3
Main project website : https://kc3-lang.org/
KC3 is a programming language with meta-programmation and a graph database embedded into the language. It aims to be the language for semantic programming, and programming the semantic web.
There is a working prototype with more information available at https://git.kmx.io/kc3-lang/kc3.
Please see the https://www.kmx.io/donations page if you want to help out.
2.2.2 Rtbuf
Rtbuf is BSD licensed ANSI C for realtime signal processing.
Possible applications include audio and video applications, games and experimental setups.
Current audience is developers. Status : alpha.
See the project page : https://git.kmx.io/rtbuf/rtbuf
2.2.3 git-auth
git-auth
is a restricted shell for your git user on your server.
It sends commands through git-shell.
It supports rule matching to allow git commands based on an environment variable set in authorized_keys file.
2.3 C++
2.4 Common Lisp
Common Lisp is one of the few programming languages still in use after 30 years of existence.
It has the best object model around (CLOS), compiles to native code and supports multiple paradigms thanks to macros which make the compiler itself programmable.
Its weights are an archaic namespace, lack of non-blocking semantics for streams, and loads of misconceptions forwarded by non-lispers. However the standard is stable and there are many compilers so the notion of bitrot has almost disappeared.
The open-source (and free) native compilers are quite young and the open source community is on the rise. The party is just starting now.
2.4.1 cl-facts
facts-db is a very fast, concurrent, in-memory, graph database (triple store) implemented in various languages. With facts-db you can represent and structure any kind of data without a schema. Join queries are considered the norm in a graph database and are as fast as normal queries. facts-db is small footprint and a good middle ground between low level and high level database management system. There is much room for improvement but we consider it production ready.
cl-facts is a Common Lisp implementation of facts-db available under the ISC license.
2.4.2 cffi-posix
cffi-posix is an open-source project to portably and regularly expose the POSIX API to Common Lisp programs using CFFI
2.4.3 cl-stream
cl-stream is an experimental project to replace Common Lisp streams with streams supporting any type of data and non-blocking semantics, following principles found in SICP
Includes a standard library of stream classes to be re-used easily.
cl-stream streams are compatible with cffi-epoll and cffi-kqueue . See Thot for an example usage.
2.4.4 cl-unix-cybernetics
cl-unix-cybernetics is a UNIX system administration infrastructure as code written in Common Lisp. It produces commands for the shell (/bin/sh) for local or remote hosts using SSH in order to retrieve and modify a UNIX system status.
Currently it allows automated administration of users, groups and packages on Linux and OpenBSD without any additional requirement or installation on the target machines.
2.4.5 Thot
Thot Threaded HTTP server supporting epoll and kqueue in Common Lisp.
2.5 Ruby
2.6 Dart / Flutter
Dart does not work on OpenBSD. There is no planned support from Google. Independent contributions for OpenBSD support have been rejected by Google.
3 Talks
https://git.kmx.io/thodg/slides
4 Links
Links to essays and blogs about computers and programming.
4.1 Books
Computer programming books.
5 Blog
News about kmx.io .
6 Donations
Please consider a donation if you find this site useful.