Skip to content
View abap34's full-sized avatar

Highlights

  • Pro

Organizations

@psg-titech @PETACON @JuliaLangJa @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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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 fast and powerful log viewer and processor that converts JSON logs or logfmt logs into a clear human-readable format.

Rust 2,889 57 Updated Feb 17, 2026

A minimalist, offline-first markdown note-taking app for Mac

TypeScript 325 23 Updated Feb 16, 2026

Cleaner and Formatter for BibTeX files

TeX 1,058 86 Updated Nov 19, 2025

An implementation of the Language Server Protocol for LaTeX

Rust 1,898 65 Updated Feb 9, 2026

Sketch and take handwritten notes.

Rust 10,891 427 Updated Feb 14, 2026

List any node_modules 📦 dir in your system and how heavy they are. You can then select which ones you want to erase to free up space 🧹

TypeScript 9,050 226 Updated Feb 14, 2026

Reusable infrastructure for caching code in the Julia compiler.

Julia 7 Updated Feb 12, 2026

Take control over your live stream video by running it yourself. Streaming + chat out of the box.

Go 10,940 1,174 Updated Feb 16, 2026

An autoregressive character-level language model for making more things

Python 3,665 917 Updated Jun 4, 2024

A command line client for Dropbox built using the Go SDK

Go 1,094 104 Updated Jun 27, 2024

JSON parsing and printing

Julia 350 106 Updated Jan 14, 2026

Write Markdown with code assist and intelligence in the comfort of your favourite editor.

F# 3,008 53 Updated Feb 8, 2026

Transform your favorite cities into beautiful, minimalist designs. MapToPoster lets you create and export visually striking map posters with code.

Python 10,748 940 Updated Jan 30, 2026

Fast math typesetting for the web.

JavaScript 19,822 1,281 Updated Feb 17, 2026

The Crystal Programming Language

Crystal 20,160 1,666 Updated Feb 17, 2026

🌀 A log file highlighter

Rust 7,662 132 Updated Feb 16, 2026

macOS System-wide Audio Equalizer & Volume Mixer 🎧

Swift 6,502 348 Updated Nov 2, 2025

Mobile and Web client for Codex and Claude Code, with realtime voice, encryption and fully featured

TypeScript 12,296 918 Updated Feb 14, 2026

Public type stubs for pandas

Python 306 162 Updated Feb 16, 2026

A custom implementation of 3D linear algebra from scratch. Built as the mathematical backbone for a personal Vulkan rendering engine project.

Makefile 14 Updated Jan 21, 2026

A virtual monitor for screen sharing

Swift 7,610 147 Updated Oct 4, 2024

🐹 Deep clean and optimize your Mac.

Shell 35,066 959 Updated Feb 16, 2026

Julia package for loop invariant generation

Julia 12 2 Updated Nov 17, 2020

A Python subset for a better MLIR programming experience

Python 51 9 Updated Jan 20, 2026

Hazel, a live functional programming environment with typed holes

Reason 1,071 62 Updated Feb 17, 2026

The Termination Problem Database

SMT 29 14 Updated Aug 20, 2025

System for collecting, deriving and working with facts about source code.

Hack 1,308 83 Updated Feb 17, 2026

Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.

Go 2,093 271 Updated Jan 13, 2026

Library to read, analyze, transform and generate Scala programs

Scala 1,155 238 Updated Feb 14, 2026

Create new Julia packages, the easy way

Julia 688 107 Updated Feb 17, 2026
Next