Skip to content
View FranchuFranchu's full-sized avatar

Block or report FranchuFranchu

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

Welcome! This is my profile.

I am FranchuFranchu, a young hobby programmer.

Things about me.

  • I am a man, so I identify with the pronouns he/him/him.
  • I live in Argentina and I am a native Spanish speaker.
  • I am a practicing Catholic

Projects

I frequently jump through many projects, and don't usually finish any of them. These are the ones I would say I'm "working" on.

  • exile, a type checker written in HVM with its own type system
  • async-kernel, a RISC-V kernel written in Rust with asynchronicity as its main goal.

The following are projects I've stopped working on, but that got surprisingly far.

  • rust-0bsd-riscv-kernel A RISC-V kernel with a filesystem, at least.
  • purecraft, a Minecraft server written in Python. You can place blocks.
  • silver-rogue-df, A dwarf-fortress adventure mode-inspired rogue-like Pygame Python3 game. Incomplete but there is terrain generation at least. It's the only videogame I've published.

There are also some projects by other people I keep track of and want to contribute to:

  • Kind, a proof checker!
  • HVM, an optimal computation engine!

Projects by other people I have contributed to:

  • endless-sky, a combat and trading sci-fi videogame.
  • Wikind, a set of datatypes and proofs for Kind.

Non-programming interests

  • Mathematics! It's really beautiful.
  • Constructed languages. Both making them, and learning them.

Papers, articles, and blog posts I really like

  • Interaction Combinators, a minimal model of computation. There are only three operations: swap-and-aggregate, duplicate, and erase. It has a captivating simplicity and elegance.
  • The Registers of Rust, a comparison and analogy of many features Rust has.

Contact.

Discord: @FranchuFranchu#1996 E-mail address: [email protected]

Popular repositories Loading

  1. hvm-os hvm-os Public

    A purely functional operating system

    Assembly 7

  2. purecraft purecraft Public

    Minecraft <1.12 server in Python

    Python 4 1

  3. fixpoint-itt fixpoint-itt Public

    Interaction Type Theory based on fixed points

    Rust 4 1

  4. convey convey Public

    A small Godot Engine platformer on conveyor belts

    GAP 3 1

  5. kelili kelili Public

    An experimental decentralized cryptocomputer without fees, without PoW, without a native currency, without stateful contracts, and without a builtin consensus mechanism.

    Rust 3

  6. silver-rogue-df silver-rogue-df Public

    A dwarf-fortress adventure mode-inspired rogue-like Pygame Python3 game

    Python 2 1