José Romildo Malaquias's repositories
straightline-ocaml-2022-1
Toy programming language from the book Moden Compiler Implementation in ML
parser-generation-in-ocaml
Examples of parsers built in OCaml using menhir for compiler lectures
straightline-ocaml
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
straightline-start
Toy programming language from the book Modern Compiler Implementation in ML
awesome-cyclefocus
Alt-Tab for the awesome window manager (and more)
awesome-wm-widgets
Widgets for Awesome Window Manager
config.awesome
My personal configuration for the awesome window manager
dde-file-manager
File manager for deepin desktop environment.
dde-polkit-agent
Polkit agent used in DDE
deepin-editor
Text editor for DDE
django-tutorial
Writing my first Django application by following the tutorial
emacs-config
My personal Emacs configuration
Graphite-gtk-theme
Graphite gtk theme
mate-session-manager
MATE session manager
oprettybox
An OCaml library to draw a box around a text
parser.predictive.g3-11
Example of predictive parsing for grammar 3.11 from Appell's compiler book
ppx_deriving_cmdliner
Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)
Qogir-icon-theme
A colorful design icon theme for linux desktops
test.ppx_import
Testing the ppx_import library for OCaml
tigris-ocaml
A compiler for the Tigris programming language targetting LLVM and implemented in OCaml
void-packages
The Void source packages collection