Skip to content
View catern's full-sized avatar

Block or report catern

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Distributed self-replicating programs in Python

Python 2,368 200 Updated Feb 7, 2025

Structured Editing and Navigation in Emacs with Tree-Sitter

Emacs Lisp 994 62 Updated Dec 5, 2024

Emacs VC mercurial backend that uses hg command server

Emacs Lisp 3 1 Updated Jun 5, 2023

A Matrix client for GNU Emacs

Emacs Lisp 521 44 Updated Nov 23, 2024
Rust 23 2 Updated Sep 22, 2021

Production repository for the all-new Advantage360 Professional using ZMK engine

Shell 508 7,244 Updated Feb 12, 2025

Kerf (Kerf1) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C and natively speaks JSON and SQL. Kerf can be used for trading platforms, feedhan…

C 541 39 Updated Sep 3, 2024

Converts WARC files to static HTML

Java 43 4 Updated Jun 27, 2024

A collaborative bibliography of work related to the theory and practice of computational effects

998 86 Updated Jan 27, 2025

Low Overhead Numerical/Native IO library & tools

Nim 35 2 Updated Feb 20, 2025

🌍 osm.el - OpenStreetMap viewer for Emacs

Emacs Lisp 533 14 Updated Jan 28, 2025

An introduction to programming language theory in Agda

Agda 1,409 330 Updated Feb 18, 2025

The music player and explorer for Emacs

Emacs Lisp 286 15 Updated Dec 31, 2023

flexsc-osdi10

C 12 3 Updated Aug 14, 2019

synchronous and asynchronous world sharing and change resolution

Emacs Lisp 10 1 Updated May 23, 2021

Endo is a distributed secure JavaScript sandbox, based on SES

JavaScript 861 75 Updated Feb 20, 2025

An emulator for the fictional Eiling Technologies Artificial Reality System

C++ 6 1 Updated Dec 11, 2023

⦠ Angle: new speakable syntax for python 💡

Python 131 5 Updated Feb 19, 2024

A Nix DSL for DNS zone files [maintainers=@raitobezarius @kirelagin @Tom-Hubrecht]

Nix 138 28 Updated Jan 23, 2025

mentor is a GNU Emacs frontend for the rTorrent bittorrent client.

Emacs Lisp 84 9 Updated Oct 9, 2023
Rust 2 Updated May 25, 2019
JavaScript 268 140 Updated Sep 1, 2021

A typed, polyglot, functional language

Haskell 196 4 Updated Feb 21, 2025

DSL for specifying data layout

Haskell 5 1 Updated Apr 26, 2017

pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fast …

Python 4,082 397 Updated Feb 5, 2025

Phoenix LiveView workalikes for different languages and frameworks

477 22 Updated Dec 4, 2024

nntpchan decentralized imageboard

Go 10 2 Updated Mar 19, 2024

nntp based decentralized imageboard

Go 71 2 Updated Jan 29, 2025

log commands to buffer

Emacs Lisp 227 35 Updated Oct 8, 2021

General planning and documentation repository for the OCapN protocol suite for distributed networked objects

175 13 Updated Feb 12, 2025
Next