Giter VIP home page Giter VIP logo

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]

franchufranchu's Projects

asciimatics icon asciimatics

A cross platform package to do curses-like operations, plus higher level APIs and widgets to create text UIs and ASCII art animations

async-kernel icon async-kernel

RISC-V kernel written in Rust, intended to have extensive asynchronous support.

bevy icon bevy

A refreshingly simple data-driven game engine built in Rust

chromium icon chromium

The official GitHub mirror of the Chromium source

container icon container

Python package to parse keyword arguments passed into __init__ into an object's attributes

convey icon convey

A small Godot Engine platformer on conveyor belts

conworkshop icon conworkshop

ConWorkShop: a conlangs/conworlds management system and community

digipherals icon digipherals

Minetest mod: Attempts to provide a standarized interface for digiline peripherals

dmc icon dmc

Docs for TalvorGames' discord bot

emc-dynmap-colors icon emc-dynmap-colors

Colors each nation according to their meganation in https://earthmc.net/map/

emc-town-mapper icon emc-town-mapper

A python script to place little town markers from the dynmap, with different colors depending on the nation

eoanb-scrollbars icon eoanb-scrollbars

Hearts Of Iron IV submod for End Of a New Beginning, adding scrollbars for 1280x720 screens

fran-os icon fran-os

32-bit protected mode OS using GRUB written in NASM assembly

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.