rami3l

rami3l's starred repositories

Ice

Powerful menu bar manager for macOS

Language:SwiftMIT244400

gitu

A TUI Git client inspired by Magit

Language:RustMIT161300

lexical

Lexical is a next-generation elixir language server

Language:Elixir75700

sudo

It's sudo, for Windows

Language:RustMIT459400

Argu

A declarative CLI argument parser for F#

Language:F#MIT44600

smalltt

Demo for high-performance type theory elaboration

Language:LeanMIT50200

tuile

A Text UI library for Zig

Language:ZigMIT8000

toshy

Keymapper config to make Linux work like a 'Tosh!

Language:PythonGPL-3.021200

intercom

Object based cross-language FFI for Rust

Language:RustMIT6300

FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Language:TeXApache-2.012000

tinymist

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

Language:RustApache-2.020000

switche

Switche - A Searchable Windows Task Switcher

Language:RustMIT1800

iswap.nvim

Interactively select and swap function arguments, list elements, and much more. Powered by tree-sitter.

Language:LuaMIT49100

ctreg

Compile-time regular expressions, the right way.

Language:RustMPL-2.06600

git-absorb

git commit --fixup, but automatic

Language:RustBSD-3-Clause328200

futures-concurrency

Structured concurrency operations for async Rust

Language:RustApache-2.037700

fastfetch

Like neofetch, but much faster because written mostly in C.

Language:CMIT718700

swift-bundler

An Xcodeproj-less tool for creating cross-platform Swift apps.

Language:SwiftApache-2.027900

yazi

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Language:RustMIT947800

yazi

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Language:RustMIT100

moralerspace

Moralerspace は、欧文フォント Monaspace と日本語フォント IBM Plex Sans JP 等を合成したプログラミング向けフォントです。

Language:PythonOFL-1.163400

juisee

Juisee は、欧文フォント JuliaMono と日本語フォント LINE Seed JP を合成したプログラミング向けフォントです。

Language:PythonOFL-1.114000

Fennel

Lua Lisp Language

Language:FennelMIT232500

foundations

Cloudflare's Rust service foundations library.

Language:RustBSD-3-Clause119400

basedpyright

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

Language:TypeScriptNOASSERTION52400

mitex

LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/

Language:RustApache-2.020200

izumi

Productivity-oriented collection of lightweight fancy stuff for Scala toolchain

Language:ScalaBSD-2-Clause60700

loco

🚂 🦀 The one-person framework for Rust for side-projects and startups

Language:RustApache-2.0348500

twelf

The Twelf Programming Language

Language:Standard MLNOASSERTION9900

redpen

A Rust code linter

Language:RustApache-2.020300