[go: nahoru, domu]

Skip to content
View ProgMiner's full-sized avatar

Highlights

  • Pro

Block or report ProgMiner

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
Showing results

A wrapper around data fetching

TypeScript 20 Updated Aug 19, 2024

Interactive Coq Proofs in Vim

Python 271 34 Updated Sep 4, 2024

A mini-preprocessor library to demostrate the recursive capabilites of the preprocessor

C 910 62 Updated Feb 12, 2020

A toy programming language with time travel

Haskell 288 5 Updated Feb 12, 2024

Agda interaction in vim

Vim Script 130 46 Updated Oct 28, 2021

Syntax highlighter for ANTLR files in vim

Vim Script 29 6 Updated Nov 21, 2018

A PostgresQL server running in your browser

Shell 2,310 73 Updated Apr 8, 2024

Bring colorful and funny Jumoreski into your workspace!

Roff 16 Updated Nov 5, 2023

Join the GitHub Graduation Yearbook and "walk the stage" on June 11.

1,442 6,018 Updated Apr 25, 2023

A syntax highlighting template for the Kotlin language in LaTeX listings.

TeX 125 5 Updated Aug 30, 2021

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

Frege 3,633 144 Updated Sep 8, 2022

Converts image to maps for Minecraft Java and Bedrock

C# 243 36 Updated Jul 22, 2024

MemOS

C 5 2 Updated Dec 3, 2021

https://cyberzhg.github.io/toolbox/ Encoding and parsing tools.

JavaScript 937 81 Updated Dec 9, 2023

React-specific linting rules for ESLint

JavaScript 8,921 2,762 Updated Sep 3, 2024

(Unofficial) Gentoo Overlay for Sage- and Sage-related ebuilds

Shell 79 26 Updated Sep 5, 2024

Gentoo overlay with yandex things (mostly chromium-based browser)

Shell 10 7 Updated Aug 14, 2024

radare2 plugin - converts asm to pseudo-C code.

C 511 48 Updated Jul 2, 2024

List of Russian words

462 81 Updated Jan 25, 2024

A rating react component with custom symbols.

JavaScript 506 94 Updated Jan 4, 2023

Yandex Maps API bindings for React

JavaScript 327 116 Updated Jun 23, 2022

НАХУЙ — официальный сайт символического направления

PHP 432 21 Updated Aug 18, 2022

The Kotlin Programming Language.

Kotlin 48,763 5,697 Updated Sep 8, 2024

xterm 256 color palette

JavaScript 35 2 Updated Apr 30, 2024

Vector graphics (SVG) library for PHP

PHP 503 92 Updated Jul 12, 2024

Java library for working with VK API

Java 293 152 Updated Jun 26, 2024

Boost.org program_options module

C++ 107 108 Updated Aug 14, 2024

We all need karma

Python 1 1 Updated Jul 31, 2018

A fork of kmyacc, with some essential patches applied

C 51 14 Updated Aug 25, 2009

A lexer generator for PHP. It is based on JLex and requires Java to generate the lexer. Once generated, the lexer only requires PHP to run.

Java 32 7 Updated Dec 20, 2021
Next