romildo
I am a professor at the Computer Science Department of Universidade Federal de Ouro Preto, in Brazil.
UFOPOuro Preto, MG, Brazil
Pinned Repositories
awesome-switcher-preview
Switch clients in Awesome WM with the familiar preview functionality
jflex-examples
Examples of lexical analisers with JFlex
jwm-settings-manager
A full configuration manager for JWM, enabling the average user the ability to customize JWM to their liking. Built using FLTK and pugixml, this is a fast and light application to configure one of the fastest lightest Window Managers. This project is a part of Tori OS, which aims to be Fast and Light, so older computers can have a modern desktop that functions well, and looks beautiful.
myfun
Interpreter for a minimalist didactic programming language
parser-generation-in-ocaml
Examples of parsers built in OCaml using menhir for compiler lectures
parser.predictive.example
Example of predictive parsing
straightline-java
Toy programming language from the book Moden Compiler Implementation in Java
straightline-ocaml
Toy programming language from the book Moden Compiler Implementation in ML
straightline-ocaml-2022-1
Toy programming language from the book Moden Compiler Implementation in ML
straightline-ocaml-2022-2
Straightline is a toy programming language from the book Modern Compiler Implementation in ML
romildo's Repositories
romildo/straightline-ocaml-2022-1
Toy programming language from the book Moden Compiler Implementation in ML
romildo/parser-generation-in-ocaml
Examples of parsers built in OCaml using menhir for compiler lectures
romildo/straightline-ocaml
Toy programming language from the book Moden Compiler Implementation in ML
romildo/straightline-ocaml-2022-2
Straightline is a toy programming language from the book Modern Compiler Implementation in ML
romildo/straightline-start
Toy programming language from the book Modern Compiler Implementation in ML
romildo/awesome-cyclefocus
Alt-Tab for the awesome window manager (and more)
romildo/awesome-wm-widgets
Widgets for Awesome Window Manager
romildo/config.awesome
My personal configuration for the awesome window manager
romildo/dde-file-manager
File manager for deepin desktop environment.
romildo/dde-kwin
KWin configures on DDE
romildo/dde-polkit-agent
Polkit agent used in DDE
romildo/deepin-editor
Text editor for DDE
romildo/django-tutorial
Writing my first Django application by following the tutorial
romildo/emacs-config
My personal Emacs configuration
romildo/francais
Notes sur l'étude de la langue française
romildo/Graphite-gtk-theme
Graphite gtk theme
romildo/gruvbox-dark-icons-gtk
romildo/gsynt
Tools to help teaching compiler construction.
romildo/is511-2021-spring
romildo/Kvantum
A Linux SVG-based theme engine for Qt and KDE
romildo/lumina
Lumina Desktop Environment
romildo/mate-session-manager
MATE session manager
romildo/nixpkgs
Nix Packages collection
romildo/oprettybox
An OCaml library to draw a box around a text
romildo/parser.predictive.g3-11
Example of predictive parsing for grammar 3.11 from Appell's compiler book
romildo/ppx_deriving_cmdliner
Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)
romildo/Qogir-icon-theme
A colorful design icon theme for linux desktops
romildo/test.ppx_import
Testing the ppx_import library for OCaml
romildo/tigris-ocaml
A compiler for the Tigris programming language targetting LLVM and implemented in OCaml
romildo/void-packages
The Void source packages collection