catern

catern's Stars

• pyinfra-dev/pyinfra

  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 and scales from one server to thousands.

  Language:Python3.9k38770377

• mitogen-hq/mitogen

  Distributed self-replicating programs in Python

  Language:Python2.3k43531197

• plfa/plfa.github.io

  An introduction to programming language theory in Agda

  Language:Agda1.4k23256307

• yallop/effects-bibliography

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

  95162480

• mickeynp/combobulate

  Structured Editing and Navigation in Emacs with Tree-Sitter

  Language:Emacs Lisp911279253

• endojs/endo

  Endo is a distributed secure JavaScript sandbox, based on SES

  Language:JavaScript8122890471

• kevinlawler/kerf1

  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, feedhandlers, low-latency networking, high-volume analysis of realtime and historical data, logfile processing, and more.

  Language:C539381838

• minad/osm

  :earth_africa: osm.el - OpenStreetMap viewer for Emacs

  Language:Emacs Lisp518133714

• alphapapa/ement.el

  A Matrix client for GNU Emacs

  Language:Emacs Lisp4881522344

• liveviews/liveviews

  Phoenix LiveView workalikes for different languages and frameworks

  45517322

• KinesisCorporation/Adv360-Pro-ZMK

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

  Language:Shell445331746.3k

• mihaiolteanu/vuiet

  The music player and explorer for Emacs

  Language:Emacs Lisp278115015

• langjam/jam0001

  Language:JavaScript269795141

• lewang/command-log-mode

  log commands to buffer

  Language:Emacs Lisp226151335

• morloc-project/morloc

  A typed, polyglot, functional language

  Language:Haskell1948184

• ocapn/ocapn

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

  159279012

• pannous/angle

  ⦠ Angle: new speakable syntax for python 💡

  Language:Python129765

• nix-community/dns.nix

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

  Language:Nix12261324

• skangas/mentor

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

  Language:Emacs Lisp809178

• majestrate/nntpchan

  nntp based decentralized imageboard

  Language:Go565552

• iipc/warc2html

  Converts WARC files to static HTML

  Language:Java391053

• c-blake/nio

  Low Overhead Numerical/Native IO library & tools

  Language:Nim34512

• TOTBWF/coolttviz

  Language:Rust23832

• rupc/flexsc

  flexsc-osdi10

  Language:C12313

• mplscorwin/dungeon-mode

  synchronous and asynchronous world sharing and change resolution

  Language:Emacs Lisp9231

• nntpchan/nntpchan

  nntpchan decentralized imageboard

  Language:Go9301

• SolraBizna/ars-emu

  An emulator for the fictional Eiling Technologies Artificial Reality System

  Language:C++5331

• zenhack/layout-dsl

  DSL for specifying data layout

  Language:Haskell5301

• muffinmad/emacs-vc-hgcmd

  Emacs VC mercurial backend that uses hg command server

  Language:Emacs Lisp3251

• qnighy/rust-ill

  Language:Rust220