dccsillag
Applied mathematician working on machine learning, compilers, and automatic theorem proving.
IMPA & EMAp/FGV
Pinned Repositories
amnioml
Code and proofs for the paper "AmnioML: Amniotic Fluid Segmentation and Volume Prediction with Uncertainty Quantification"
dotfiles
My dotfiles.
exactboost
Code for the paper "ExactBoost: Directly Boosting the Margin in Combinatorial and Non-decomposable Metrics"
logrun
Convenient experiment logging in Python.
magma-nvim
Interact with Jupyter from NeoVim.
packs
A tool for synchronizing packages across machines, where you may or may not have root access.
picom
A lightweight compositor for X11
rum
A tool to easily manage running jobs.
tap
An abstraction over C/C++ build systems, with a comfortable CLI interface.
unity-facs-facial-expression-animation
Facial expression animation according to FACS / EM-FACS implemented in Unity
dccsillag's Repositories
dccsillag/magma-nvim
Interact with Jupyter from NeoVim.
dccsillag/picom
A lightweight compositor for X11
dccsillag/dotfiles
My dotfiles.
dccsillag/amnioml
Code and proofs for the paper "AmnioML: Amniotic Fluid Segmentation and Volume Prediction with Uncertainty Quantification"
dccsillag/logrun
Convenient experiment logging in Python.
dccsillag/exactboost
Code for the paper "ExactBoost: Directly Boosting the Margin in Combinatorial and Non-decomposable Metrics"
dccsillag/minienvs.typ
Theorem environments in Typst with minimal fuss
dccsillag/tap
An abstraction over C/C++ build systems, with a comfortable CLI interface.
dccsillag/toy-algebraic-effects
A prototype for a refactoring of Typst with algebraic effects
dccsillag/magma.vim
Make Vim into a Jupyter client.
dccsillag/rum
A tool to easily manage running jobs.
dccsillag/st
My fork of st.
dccsillag/termimg
Experiments on displaying images in terminals without specialized protocols
dccsillag/packs
A tool for synchronizing packages across machines, where you may or may not have root access.
dccsillag/analysis-comvida-food-insecurity
Data analysis for food insecurity in one of the most vulnerable areas of Brazil. (See the paper.)
dccsillag/comemo
Incremental computation through constrained memoization.
dccsillag/Curso_Blockchain
Indtroductory course to cryptocurrencies and applications of Blockchain technologies.
dccsillag/Dpublish
Distributed platform for peer-reviewing scientific articles based on the Ethereum Blockchain.
dccsillag/experiments-causal-generalization-bounds
Experiments for the paper 'Generalization Bounds for Causal Regression: Insights, Guarantees and Sensitivity Analysis'
dccsillag/llama
Rust LLVM bindings
dccsillag/logrun-feedstock
A conda-smithy repository for logrun.
dccsillag/micromusic
Simplest music playing program.
dccsillag/moremath.typ
Additional notation, constants and utilities for doing math in Typst
dccsillag/se
A tool that runs things with `nohup` for you.
dccsillag/staged-recipes
A place to submit conda recipes before they become fully fledged conda-forge feedstocks
dccsillag/tap.sh
An abstraction over C/C++ build systems, written in POSIX shell script.
dccsillag/typst
A new markup-based typesetting system that is powerful and easy to learn.
dccsillag/typst-hs
Haskell library for parsing and evaluating typst
dccsillag/typst-packages
Packages for Typst.
dccsillag/xmonad-contrib
Contributed modules for xmonad