Giter Site home page Giter Site logo

🌱 Things I've spent a lot of hours in

  • ghengin: WIP: Haskell Game Engine
  • hegg: Fast equality saturation in Haskell
  • linear-core: My master thesis on typechecking linearity in GHC Core, by understanding semantic linearity in the presence of call-by-need evaluation
  • ghc-linear-synthesis-plugin: A GHC plugin for synthesizing Haskell programs from Linear Types using bottom-up proof search in linear logic with focusing
  • programmer-calculator Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits
  • gameboyemulator: A gameboy emulator from scratch
  • chip8-emulator-for-gameboy: A chip8 emulator made in gameboy assembly for the gameboy
  • operating-system: An operating system from scratch
  • c-compiler: A C to LLVM compiler in C
  • .vim: minimalist and modern vim configuration with sane settings, handwritten statusline and tabline, small custom plugins, and few external plugins
  • cob-hs: A haskell library for CoB
  • haskell-swift: Haskell x Swift interoperability libraries and tools

⚡ And some of my smaller projects

  • reference-counting: Reference counting with linear types
  • haskell-x-swift-project-steps: A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog posts
  • mermaid-hs: A Haskell library for parsing mermaid diagrams
  • ghc-obsidian: Generate an Obsidian Vault from the Notes in GHC Haskell
  • shuffdle.com: Slide the daily shuffdle word into the bottom row or: Caesar's 20-puzzle

Rodrigo Mesquita's Projects

pywal icon pywal

🎨 Generate and change color-schemes on the fly.

qmk_firmware icon qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

servant icon servant

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

shellcheck icon shellcheck

ShellCheck, a static analysis tool for shell scripts

slfl icon slfl

The SILI synthesiser - synthesis of linear functional programs

tar icon tar

Reading, writing and manipulating ".tar" archive files.

things-cli icon things-cli

A simple Python 3 CLI to read your Things app data.

ticker icon ticker

Terminal stock ticker with live updates and position tracking

tomorrow-theme icon tomorrow-theme

Tomorrow Theme now lives on at https://github.com/chriskempson/base16

topokanji icon topokanji

Topologically ordered lists of kanji for effective learning

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.