10000 hgluka (Luka Hadzi-Djokic) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View hgluka's full-sized avatar
8 followers · 6 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report hgluka

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

Stars

Showing results

atlas-engineer / nyxt

Nyxt - the hacker's browser.

Common Lisp 10,476 438 Updated Jun 25, 2025

Mazzocchi / FORKLIFT

The program FORKLIFT is an inclusion checker for Büchi automata. The input format of the automata is described here: http://languageinclusion.org/doku.php?id=tools#the_ba_format

Java 9 3 Updated May 15, 2024

nnethercote / counts

A tool for ad hoc profiling

Rust 322 11 Updated Feb 28, 2025

Tablam / TablaM

The practical relational programing language for data-oriented applications

Rust 204 3 Updated Dec 3, 2022

nadia-polikarpova / cse291-program-synthesis

Program Synthesis Course

254 38 Updated Mar 15, 2024

racket / racket

The Racket repository

Racket 4,980 682 Updated Jun 26, 2025

steshaw / plt

Programming Language Theory λΠ

CSS 5,300 340 Updated Dec 2, 2024

ggez / ggez

Rust library to create a Good Game Easily

Rust 4,423 428 Updated Jun 19, 2025

python / cpython

The Python programming language

Python 67,645 32,216 Updated Jun 26, 2025
0