ar9v

ar9v's Stars

• Dyalog/MDAPL

  The de facto standard for people who are looking to learn Dyalog APL from a book. This updated version is a work in progress.

  Language:Python307

• adam-james-v/badspreadsheet

  A Clojure Spreadsheet for building design tools.

  Language:Clojure861

• kspalaiologos/kamilalisp

  A functional, flexible and concise Lisp.

  Language:Java26510

• pllk/cphb

  Competitive Programmer's Handbook

  Language:TeX2.8k343

• fare/eocex

  Exercises based on Siek's Essentials of Compilation, in Gerbil Scheme

  Language:Scheme3

• Kungsgeten/ryo-modal

  Roll your own modal mode

  Language:Emacs Lisp21714

• thehottgame/TheHoTTGame

  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

  Language:Agda12314

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust29.7k814

• rougier/nano-emacs

  GNU Emacs / N Λ N O - Emacs made simple

  Language:Emacs Lisp2.5k191

• rougier/elegant-emacs

  A very minimal but elegant emacs (I think)

  Language:Emacs Lisp1.4k79

• Elilif/.elemacs

  Language:Emacs Lisp554

• rougier/notebook-mode

  GNU Emacs notebook mode

  Language:Emacs Lisp60029

• norvig/paip-lisp

  Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

  Language:Common Lisp7.1k702

• mickeynp/combobulate

  Structured Editing and Navigation in Emacs with Tree-Sitter

  Language:Emacs Lisp83847

• noriaku/FirefoxMonolite

  Minimal theme & startpage for geek people. Monochromatic & pastel colors. Keyboard centered.

  Language:CSS1448

• altunenes/rusty_art

  Creative coding and optical illusions in Rust.

  Language:Rust1477

• polybar/polybar-scripts

  This is a community project. We write and collect scripts for polybar!

  Language:Shell2.4k343

• adi1090x/polybar-themes

  A huge collection of polybar themes with different styles, colors and variants.

  Language:Shell5.6k408

• anhsirk0/rofi-config

  My config for rofi launcher

  Language:Perl28

• zemmsoares/awesome-rices

  A curated list of awesome unix user rices!

  81736

• abcdw/rde

  Tools for managing reproducible development environments. Mirror of https://sr.ht/~abcdw/rde/

  Language:Scheme21116

• kosorin/awesome-rice

  Opinionated config for Awesome window manager.

  Language:Lua1148

• nushell/awesome-nu

  A curated list of awesome tools that work within the nu language ecosystem e.g. nushell, scripts, nana, etc.

  Language:Nushell62134

• triska/the-power-of-prolog

  Introduction to modern Prolog

  Language:HTML1.2k69

• Bricktech2000/Atto-8

  A minimalist 8-bit microcomputer with stack-based microprocessor

  Language:Assembly76

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell85k5.7k

• xuchunyang/elisp-demos

  Demonstrate Emacs Lisp APIs

  Language:Emacs Lisp21524

• Wilfred/helpful

  A better Emacs *help* buffer

  Language:Emacs Lisp1.1k61

• SWI-Prolog/swipl-devel

  SWI-Prolog Main development repository

  Language:C920167

• NeshHari/XMonad

  XMonad Starter Kit

  Language:CSS21218