Skip to content
View abap34's full-sized avatar

Highlights

  • Pro

Organizations

@PETACON @lapisla-prover

Block or report abap34

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

Starred repositories

Showing results

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Rust 2,283 167 Updated Mar 26, 2025

Tool for data extraction and interacting with Lean programmatically.

Python 633 99 Updated Mar 10, 2025

TypeScript & JavaScript Language Server

TypeScript 2,068 162 Updated Mar 27, 2025

Awesome autocompletion, static analysis and refactoring library for python

Python 5,913 515 Updated Mar 14, 2025

A collection of type-based library search algorithms

Haskell 9 Updated Mar 27, 2025
Coq 8 Updated Mar 15, 2025

observable refs

Julia 109 32 Updated Aug 19, 2024

It's editing-time, do you know where your methods are?

Julia 138 10 Updated Mar 17, 2025

Cancel page navigation in Next.js, like Nuxt's Navigation Guard feature.

TypeScript 273 11 Updated Mar 11, 2025

Python frame stack sampler for CPython

C 2,027 59 Updated Mar 1, 2025
Zig 8 Updated Mar 20, 2025

A lightweight, secure, and feature-rich Discord terminal client.

Go 2,525 81 Updated Mar 26, 2025

Command Line User Interface (Console UI inspired by TurboVision)

Go 681 49 Updated May 29, 2022

Penpot: The open-source design tool for design and code collaboration

Clojure 37,148 1,898 Updated Mar 27, 2025

PyGWalker: Turn your pandas dataframe into an interactive UI for visual analysis

Python 14,503 774 Updated Mar 5, 2025

Program Analisys and Transformation survey and links (particular focus on SSA)

168 25 Updated Mar 22, 2021

A Flexible Framework for Experiencing Cutting-edge LLM Inference Optimizations

Python 13,148 897 Updated Mar 25, 2025
Go 5 Updated Feb 17, 2025

Readily pin Julia threads to CPU-threads

Julia 119 9 Updated Dec 1, 2024

Use your tablet as graphic tablet/touch screen on your computer.

Rust 7,674 301 Updated Feb 24, 2025

GitHub CLI extension to display GitHub notifications

Shell 249 26 Updated Nov 30, 2024

A terminal based graphical activity monitor inspired by gtop and vtop

Go 2,872 147 Updated Sep 16, 2024

Web Push API Encryption with VAPID support.

Go 353 74 Updated Mar 21, 2025

Raster to Vector Graphics Converter

Rust 3,990 277 Updated Sep 27, 2024

Terminal UI library with rich, interactive widgets — written in Golang

Go 11,723 598 Updated Mar 25, 2025

A library for performing OAuth Device flow and Web application flow in Go client apps.

Go 477 64 Updated Oct 15, 2024

The extensible chat client.

C 3,064 332 Updated Mar 24, 2025

A Git-compatible VCS that is both simple and powerful

Rust 12,017 432 Updated Mar 28, 2025

Official implementation of "TAID: Temporally Adaptive Interpolated Distillation for Efficient Knowledge Transfer in Language Models"

Python 99 6 Updated Jan 30, 2025
Next
Showing results