Skip to content
View Lipen's full-sized avatar
🐈
Working from home
🐈
Working from home

Highlights

  • Pro

Organizations

@ctlab
Block or Report

Block or report Lipen

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Beta Lists are currently in beta. Share feedback and report bugs.

Starred repositories

Showing results

A superior pairing function

Python 13 2 Updated Dec 10, 2018

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

Rust 264 11 Updated Jul 4, 2024

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

Rust 29,822 816 Updated Jul 4, 2024

a Hassle-Free Python Experience

Rust 12,153 427 Updated Jul 4, 2024

Harness the power of Rust. Those fast productivity tools based on Rust.

287 13 Updated Jun 17, 2024

Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code

Rust 4 Updated Jun 21, 2024

Logic and Mechanized Reasoning

Lean 72 19 Updated Jun 27, 2024

patool is a portable command line archive file manager

Python 387 68 Updated Jul 3, 2024

#1 Locally hosted web application that allows you to perform various operations on PDF files

Java 29,645 2,171 Updated Jul 2, 2024

UPX - the Ultimate Packer for eXecutables

C++ 13,784 1,316 Updated Jul 3, 2024

Build, cache, and run CLI tools scoped in Cargo.toml rather than installing globally. Stop the version drifts across your team, keep it all in sync within your project!

Rust 165 6 Updated Feb 12, 2024

Macro to generate bitfields for structs that allow for modular use of enums.

Rust 155 40 Updated Nov 8, 2023

Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

Rust 3,968 998 Updated Apr 11, 2024

An extremely fast Python linter and code formatter, written in Rust.

Rust 28,701 929 Updated Jul 3, 2024

Grayskull 💀 - Recipe generator for Conda

Python 303 64 Updated Jul 3, 2024

Utility wrapper to send non send types to other threads safely

Rust 163 12 Updated Jan 8, 2024

Debug your GitHub Actions via SSH by using upterm/tmux to get access to the runner system itself.

JavaScript 381 29 Updated May 1, 2024

Infer a project's version from your Git repository.

Java 184 27 Updated Feb 18, 2024

Execute your Gradle build and trigger dependency submission

655 91 Updated Jun 17, 2024

A conda-forge distribution.

Shell 5,740 305 Updated Jul 1, 2024

Install and run applications packaged with conda in isolated environments

Python 107 8 Updated Jun 3, 2024

How to avoid complicated coordinated upgrades

Rust 416 8 Updated Apr 11, 2024

Presentation Slides for Developers

TypeScript 31,904 1,262 Updated Jul 3, 2024

The core of Marp converter

TypeScript 747 128 Updated May 20, 2024

wip - we are building this out now in prep for the real course

Rust 238 42 Updated May 19, 2023

Feature packed AUR helper

Rust 5,668 220 Updated Jun 19, 2024

The Rust Programming Language: Experimental Edition

Rust 504 82 Updated Jul 3, 2024

Kotlin/Java API for various SMT solvers

Kotlin 29 12 Updated Jul 1, 2024

Cleans dependencies and build artifacts from your projects.

Rust 1,689 50 Updated Jun 13, 2024

Low level access to Cortex-M processors

Rust 781 142 Updated Jul 2, 2024
Next