rami3l's repositories

pacaptr

Pacman-like syntax wrapper for many package managers.

Language:RustLicense:GPL-3.0Stargazers:344Issues:4Issues:32

plfl

Learn Lean 4 with PLFA proofs.

Language:LeanLicense:MITStargazers:32Issues:2Issues:0

yascm

Yet another Scheme interpreter.

Language:ScalaStargazers:11Issues:3Issues:0

golox

A VM-based interpreter for the Lox Programming Language.

Language:GoStargazers:9Issues:2Issues:0

dolores

A tree-walking interpreter for the Lox Programming Language.

Language:RustStargazers:7Issues:2Issues:0

Ouverture

A default application modifier for macOS.

Language:SwiftLicense:BSD-2-ClauseStargazers:6Issues:3Issues:0

Claveilleur

An input source switching daemon for macOS.

Language:SwiftLicense:BSD-2-ClauseStargazers:5Issues:0Issues:0

niveo

A minimalistic programmable configuration language.

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:2Issues:5

homebrew-tap

My opinionated homebrew tap.

Language:RubyStargazers:1Issues:3Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0
Language:PythonStargazers:0Issues:0Issues:0

asn2rflx

An experimental transpiler from ASN.1 to RecordFlux.

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

blog.rust-lang.org

Home of the Rust and Inside Rust blogs

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:0Issues:0

bumper

[WIP] A GitHub Action which generates text out of templates

Language:JavaScriptStargazers:0Issues:3Issues:0

homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

Language:RubyLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

itertools

Extra iterator adaptors, iterator methods, free functions, and macros.

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0
Language:JavaStargazers:0Issues:2Issues:0

neogit

An interactive and powerful Git interface for Neovim, inspired by Magit

License:MITStargazers:0Issues:0Issues:0

nvim-config

My Neovim config.

Language:LuaStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:2Issues:0
Stargazers:0Issues:2Issues:0

rami3l.github.io

My personal blog.

Language:LeanStargazers:0Issues:3Issues:0

RelSUE

[Mirror] Source code of the paper "Relevance search over schema-rich knowledge graphs" by Gu et al.

Language:JavaStargazers:0Issues:2Issues:0

renovate

Universal dependency update tool that fits into your workflows.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

rust-analyzer

A Rust compiler front-end for IDEs

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rust-lang-team

Rust teams structure

License:Apache-2.0Stargazers:0Issues:0Issues:0

rust-openssl

OpenSSL bindings for Rust

Stargazers:0Issues:0Issues:0

rustup

The Rust toolchain installer

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

ScoopExtras

📦 The Extras bucket for Scoop.

Language:PowerShellLicense:UnlicenseStargazers:0Issues:1Issues:0

ting

Yet another tcping.

Language:GoLicense:BSD-2-ClauseStargazers:0Issues:3Issues:1