Skip to content
View jbujak's full-sized avatar
5 followers · 1 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report jbujak

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

Pinned Loading

  1. nl-zpp nl-zpp Public

    Extending type system of NianioLang to improve performance of generated code

    C

  2. jafun jafun Public

    Separation logic for Jafun programming language, formalized in Coq

    Coq

  3. Latte Latte Public

    x86_64 compiler of object oriented language with polymorphism

    Haskell

  4. Digital-Simulator Digital-Simulator Public

    Minecraft inspired simulator of digital circuits

    Java 2

  5. A-star-CUDA A-star-CUDA Public

    A* implementation for NVIDIA GPU

    Cuda 61 16

  6. circuit circuit Public

    Distributed arithmetic circuits calculator

    C