Giters
Calvin Lee (4e554c4c)

4e554c4c

Geek Repo

29

followers

19

following

138

stars

Company:@facebook

Location:IRC

Github PK Tool:Github PK Tool

Calvin Lee's repositories

darkman.nvim

A neovim plugin for interfacing with the freedesktop dark mode standard

Language:GoLicense:MITStargazers:18Issues:2Issues:2

adjunction-formula-blueprint

Website and documentation for the Adjunction Formula, including dependency graph.

Language:TeXStargazers:1Issues:1Issues:0

adjunction_formula

A very detailed proof of the adjunction formula

Language:LeanStargazers:1Issues:3Issues:0

heliocron

A command line application written in Rust capable of delaying execution of other programs for time periods relative to sunrise and sunset.

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

lean.nvim

neovim support for the Lean theorem prover

Language:LuaLicense:MITStargazers:1Issues:1Issues:0

nanomdm

NanoMDM is a minimalist Apple MDM server heavily inspired by MicroMDM

Language:GoLicense:MITStargazers:1Issues:1Issues:0

nerd-fonts

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more

Language:CSSLicense:NOASSERTIONStargazers:1Issues:1Issues:0

tree-sitter-hack

Hack grammar for tree-sitter

Language:JavaScriptLicense:MITStargazers:1Issues:1Issues:0

actions

GitHub Actions which are used across the Yetto suite.

Language:ShellLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

agda

Agda is a dependently typed programming language / interactive theorem prover.

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

agda-categories

A new Categories library for Agda

Language:AgdaLicense:MITStargazers:0Issues:1Issues:0

agda-language-server

Language Server for Agda

License:MITStargazers:0Issues:0Issues:0

awesome-neovim

Collections of awesome neovim plugins.

License:CC0-1.0Stargazers:0Issues:1Issues:0

BlueSignals

Generic Cross Platform Signal Handler

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

cornelis

agda-mode for neovim

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

dart_cli_util

A library to help in building Dart command-line apps

Language:DartLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

debug-adapter-protocol

Defines a common protocol for debug adapters.

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

doc-gen4

Document Generator for Lean 4

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

flutter-tools.nvim

Tools to help create flutter apps in neovim using the native lsp

License:MITStargazers:0Issues:0Issues:0

gps

Language:JuliaStargazers:0Issues:4Issues:0

hatsune-miku-windows-linux-cursors

Hatsune Miku Cursors for Windows/Linux!

Stargazers:0Issues:0Issues:0

kitty

Cross-platform, fast, feature-rich, GPU based terminal

License:GPL-3.0Stargazers:0Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

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

mastodon

Your self-hosted, globally interconnected microblogging community

Language:RubyLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

mathematical

Convert mathematical equations to SVGs, PNGs, or MathML. A general wrapper to Lasem and mtex2MML.

Language:RubyLicense:MITStargazers:0Issues:1Issues:0

monads-comonads

Language:AgdaStargazers:0Issues:2Issues:0

mtex2MML

A Bison grammar to convert TeX math into MathML.

Language:CStargazers:0Issues:1Issues:0

nvim-lspconfig

Quickstart configs for Nvim LSP

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

Waybar

Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:

License:MITStargazers:0Issues:0Issues:0

zulip-desktop

Zulip Desktop client for Mac, Windows and Linux.

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