Lemonsity

Lemonsity's Stars

• mpv-player/mpv

  🎥 Command line video player

  Language:C28.5k2.9k

• greghendershott/racket-mode

  Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.

  Language:Emacs Lisp68193

• donkuri/Kaishi

  Kaishi 1.5k is a modern, modular Japanese Anki deck made for beginners who want to learn basic vocabulary.

  4857

• ccz181078/Coq-BB5

  Language:Coq1566

• mickeynp/ligature.el

  Display typographical ligatures in Emacs

  Language:Emacs Lisp38329

• junegunn/fzf

  :cherry_blossom: A command-line fuzzy finder

  Language:Go65.4k2.4k

• ThatsJustCheesy/sparkground

  Block-based digital playground for learning functional programming

  Language:TypeScript5

• zellij-org/zellij

  A terminal workspace with batteries included

  Language:Rust21.6k653

• neovide/neovide

  No Nonsense Neovim Client in Rust

  Language:Rust13k528

• toeverything/AFFiNE

  There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable and ready to use.

  Language:TypeScript42k2.7k

• tmux/tmux

  tmux source code

  Language:C35.3k2.1k

• Mzk-Levi/texts

  Language:Haskell14229

• ajeetdsouza/zoxide

  A smarter cd command. Supports all major shells.

  Language:Rust22.7k552

• the-little-typer/pie

  The Pie language, which accompanies The Little Typer by Friedman and Christiansen

  Language:Racket69757

• 1whatleytay/saturn

  A modern MIPS interpreter and assembler.

  Language:TypeScript345

• OpenLogicProject/OpenLogic

  An open-source, customizable intermediate logic textbook

  Language:TeX1.1k242

• motiwalam/STLC-idris

  An implementation of the simply typed lambda calculus supporting primitive recursion on Nats using dependent types.

  Language:Python2

• insou22/typing-the-technical-interview-rust

  https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust

  Language:Rust1437

• AndrasKovacs/staged

  Staged compilation with dependent types

  Language:TeX1613

• typst/typst

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

  Language:Rust34.9k928

• davean/waldo

  A small Haskell server for generating visual stories based on some ascertainable data about the requester.

  Language:Haskell572

• thepracticaldev/orly-full-res

  Full resolution images of the O RLY book covers made by The Practical Dev

  2.7k139

• asdf-vm/asdf

  Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more

  Language:Shell22k783

• marlonrichert/zsh-autocomplete

  🤖 Real-time type-ahead completion for Zsh. Asynchronous find-as-you-type autocompletion.

  Language:Shell5.4k149

• keenethics/svelte-notifications

  Simple and flexible notifications system

  Language:JavaScript58530

• svelteland/svelte-kit-blog-demo

  A demo of a markdown based blog with SvelteKit, deployed to Github Pages.

  Language:Svelte17058

• CheatCod/Lodestone

  Tool for remote managing multiple server instance

  Language:Rust1

• CheatCod/Math-136-Notes-Source

  Personal note for UWaterloo's Math 136 course

  Language:TeX2

• benchislett/Skunkworks

  Short-term projects, experiments, and exercises.

  Language:Python6

• marcopixel/monstercat-visualizer

  A real time audio visualizer for Rainmeter similar to the ones used in the Monstercat videos.

  Language:Lua919103