GithubHelp home page GithubHelp logo

☄️ About Me

Hi, I'm a 21yo cute girl that likes to program some crazy or useless tools in pure functional programming languages.

💌 Things i like

  • ⚗️ I love magic, like in the movies or games, so I try to do a lot of things related to that.
  • 🖌️ Sometimes i try to draw.

🤌 Languages that i use

  • 🦀 Rust I love this language, It's the only language that performs well and has a lot of functional constructs.
  • 4️⃣ Lean4 Useful to make your programs stronger with the use of dependent types

😗 How to contact me?

  • Discord: algebraic.sofia
  • Email: [email protected]
  • Smoke signal: 🌬️☁️🌬️☁️🌬️🌬️☁️☁️🌬️☁️🌬️🌬️☁️☁️☁️☁️🌬️☁️🌬️🌬️🌬️☁️☁️🌬️🌬️☁️🌬️🌬️☁️🌬️🌬️☁️🌬️☁️🌬️🌬️🌬️🌬️🌬️☁️

Sofia Rodrigues's Projects

a-bad-lisp icon a-bad-lisp

Just a bad lisp lol I had nothing to do so I just made a lisp with macros

aed icon aed

Algoritmos e estruturas de dados

ash icon ash

🪵| Incomplete Express like library

cartesi icon cartesi

🧱 | Library to interact with Cartesi and make DApps

ednaldo icon ednaldo

Javascript Interpreter for Ednaldo Language

galop icon galop

Test runner for rinha of compilers

hvm icon hvm

A massively parallel, optimal functional runtime in Rust

json icon json

🍫 | JSON parser for Lean4

lambda icon lambda

Just a lambda calculus interpreter

lina icon lina

🪚 | Pico parser based HTTP parser

lyre icon lyre

Incomplete LALR(1) DSL for Lean (that compiles to a LR Table but does not compile to lean code lol)

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.