Giters
Felipe Péret (felipeperet)

felipeperet

Geek Repo

14

followers

32

following

94

stars

Company:Universidade Federal de Ouro Preto

Location:Ouro Preto, MG - Brasil

Github PK Tool:Github PK Tool

Felipe Péret's starred repositories

dsda-doom

This is a successor of prboom+ with extra tooling for demo recording and playback, with a focus on speedrunning and quality of life.

Language:CStargazers:318Issues:0Issues:0

lean.nvim

neovim support for the Lean theorem prover

Language:LuaLicense:MITStargazers:252Issues:0Issues:0

zwift

Easily zwift on linux

Language:ShellLicense:UnlicenseStargazers:236Issues:0Issues:0

hyper

An HTTP library for Rust

Language:RustLicense:MITStargazers:14296Issues:0Issues:0

stack

The Haskell Tool Stack

Language:HaskellLicense:BSD-3-ClauseStargazers:3976Issues:0Issues:0

nvim-ufo

Not UFO in the sky, but an ultra fold in Neovim.

Language:LuaLicense:BSD-3-ClauseStargazers:2246Issues:0Issues:0

kani

Kani Rust Verifier

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

alejandra

The Uncompromising Nix Code Formatter

Language:NixLicense:UnlicenseStargazers:777Issues:0Issues:0

kitty-themes

A collection of themes for kitty terminal 😻

Language:PythonLicense:MITStargazers:2432Issues:0Issues:0

zoxide

A smarter cd command. Supports all major shells.

Language:RustLicense:MITStargazers:21425Issues:0Issues:0

tokyonight.nvim

🏙 A clean, dark Neovim theme written in Lua, with support for lsp, treesitter and lots of plugins. Includes additional themes for Kitty, Alacritty, iTerm and Fish.

Language:LuaLicense:Apache-2.0Stargazers:6122Issues:0Issues:0

conform.nvim

Lightweight yet powerful formatter plugin for Neovim

Language:LuaLicense:MITStargazers:2843Issues:0Issues:0

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10402Issues:0Issues:0

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustLicense:MITStargazers:52353Issues:0Issues:0

adonis-template

A simple, elegant LaTeX template with dark mode support

Language:TeXLicense:MITStargazers:48Issues:0Issues:0

fourmolu

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

Language:HaskellLicense:NOASSERTIONStargazers:349Issues:0Issues:0

getnf

A better way to install Nerd Fonts

Language:ShellLicense:GPL-3.0Stargazers:870Issues:0Issues:0

conjure

Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile, Python and more!)

Language:FennelLicense:UnlicenseStargazers:1722Issues:0Issues:0

ocaml-style

A style guide for OCaml

License:MITStargazers:102Issues:0Issues:0

xremap

Key remapper for X11 and Wayland

Language:RustLicense:MITStargazers:1393Issues:0Issues:0

swww

A Solution to your Wayland Wallpaper Woes

Language:RustLicense:GPL-3.0Stargazers:2150Issues:0Issues:0

Hyprland

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

Language:C++License:BSD-3-ClauseStargazers:19354Issues:0Issues:0

kmonad

An advanced keyboard manager

Language:HaskellLicense:MITStargazers:3845Issues:0Issues:0

animated-wallpaper

Animated wallpaper for Gnome and other desktops

Language:CMakeLicense:GPL-3.0Stargazers:61Issues:0Issues:0

tree-sitter-scala

Scala grammar for tree-sitter

Language:JavaScriptLicense:MITStargazers:155Issues:0Issues:0

aiken

A modern smart contract platform for Cardano

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

lucid

Lucid is a library, which allows you to create Cardano transactions and off-chain code for your Plutus contracts in JavaScript, Deno and Node.js.

Language:RustLicense:MITStargazers:338Issues:0Issues:0

sectorlisp

Bootstrapping LISP in a Boot Sector

Language:CLicense:ISCStargazers:1255Issues:0Issues:0

cornelis

agda-mode for neovim

Language:HaskellLicense:BSD-3-ClauseStargazers:128Issues:0Issues:0

awesome-scala

A community driven list of useful Scala libraries, frameworks and software.

Language:PythonLicense:Apache-2.0Stargazers:9002Issues:0Issues:0