raegnald

raegnald's Stars

• doomemacs/doomemacs

  An Emacs framework for the stubborn martian hacker

  Language:Emacs Lisp19.1k2344.4k3k

• andlabs/libui

  Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.

  Language:C10.7k322367614

• svenstaro/miniserve

  🌟 For when you really just want to serve some files over HTTP right now!

  Language:Rust5.9k46285287

• rhasspy/piper

  A fast, local neural text to speech system

  Language:C++5.6k72435400

• emacs-lsp/lsp-mode

  Emacs client/library for the Language Server Protocol

  Language:Emacs Lisp4.8k912k868

• alainm23/planify

  Task manager with Todoist and Nextcloud support designed for GNU/Linux 🚀

  Language:Vala3.4k341.1k203

• rafaelmardojai/firefox-gnome-theme

  A GNOME👣 theme for Firefox🔥

  Language:CSS3.4k34624155

• ghc/ghc

  Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

  Language:Haskell3k1450704

• CakeML/cakeml

  CakeML: A Verified Implementation of ML

  Language:Standard ML9414547681

• inim-repl/INim

  Interactive Nim shell / REPL / Playground

  Language:Nim640198523

• DogLooksGood/parinfer-mode

  Parinfer for Emacs :)

  Language:Emacs Lisp407113933

• benl23x5/gloss

  Painless 2D vector graphics, animations and simulations.

  Language:Haskell39720583

• can-lehmann/owlkettle

  A declarative user interface framework based on GTK 4

  Language:Nim374107315

• leostera/minttea

  A fun little TUI framework for OCaml

  Language:OCaml31942626

• neffo/bing-wallpaper-gnome-extension

  GNOME shell extension that syncs your desktop & lock screen wallpaper to Microsoft Bing's Image of the Day.

  Language:JavaScript293414853

• planetis-m/naylib

  Yet another raylib Nim wrapper

  Language:C201712211

• emacsfodder/move-text

  move current line or region up or down

  Language:Emacs Lisp19362212

• jangko/nimpdf

  PDF document writer, written in nim lang

  Language:Nim171122910

• Drup/tyre

  Typed Regular Expressions

  Language:OCaml1701073

• Lambda-Emacs/lambda-emacs

  Emacs distribution with sane defaults, pre-configured packages, and useful functions.

  Language:Emacs Lisp14741212

• dakra/speed-type

  Practice touch/speed typing in emacs

  Language:Emacs Lisp13282319

• ghaiklor/ghaiklor-os-gcc

  Simple operating system with its own bootloader, drivers for screen and keyboard, libc (for educational purposes)

  Language:C1168516

• jmorag/mcc

  MicroC example compiler for Stephen Edward's PLT class, but in Haskell

  Language:Haskell11651013

• treeform/print

  Print is a set of pretty print macros, useful for print-debugging.

  Language:Nim1055104

• mratsim/trace-of-radiance

  An educational raytracer

  Language:C101561

• art-w/sherlocode

  Realtime grep for OCaml/Coq sources available on opam

  Language:OCaml782101

• johnwhitington/ppx_blob

  OCaml ppx to include binary data from a file as a string

  Language:OCaml737616

• art-w/sherlodoc

  Fuzzy type search for OCaml documentation

  Language:OCaml694294

• liuyinz/mini-echo.el

  Show buffer status in echo area , get rid of mode-line!

  Language:Emacs Lisp663116

• rifazn/dark-toggle

  A small POSIX compliant shell script that toggles between the dark and light variants of a GTK theme.

  Language:Shell21140