Skip to content
View Herddex's full-sized avatar
1 follower · 1 following
  • LSEG Romania
  • Alba Iulia, Alba, Romania
  • 01:21 (UTC +02:00)

Highlights

  • Pro

Block or report Herddex

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
Herddex/README.md

Interests:

  • Rust development
  • Factorio mod development
  • Spring Boot and Java application development

Popular repositories Loading

  1. recursive-resource-calculator recursive-resource-calculator Public

    The repository of the Factorio mod Recursive Resource Calculator

    Lua

  2. vm-translator vm-translator Public

    A Java implementation of the VM Translator project from the course "From NAND To Tetris Part II"

    Java

  3. jack-compiler jack-compiler Public

    A Python implementation of the Jack Compiler project from the course "From NAND to Tetris Part II"

    Python

  4. actix-web actix-web Public

    Forked from actix/actix-web

    Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

    Rust

  5. Herddex Herddex Public

  6. prusti-dev prusti-dev Public

    Forked from viperproject/prusti-dev

    A static verifier for Rust, based on the Viper verification infrastructure.

    Rust