dccsillag

Daniel Csillag's repositories

magma-nvim

Interact with Jupyter from NeoVim.

Language:PythonGPL-3.0932 8 97

picom

A lightweight compositor for X11

Language:CNOASSERTION167 13 50

dotfiles

My dotfiles.

Language:Haskell12 10

amnioml

Code and proofs for the paper "AmnioML: Amniotic Fluid Segmentation and Volume Prediction with Uncertainty Quantification"

Language:PythonGPL-3.04 20

logrun

Convenient experiment logging in Python.

Language:PythonMIT3 1 1

exactboost

Code for the paper "ExactBoost: Directly Boosting the Margin in Combinatorial and Non-decomposable Metrics"

Language:Python2 10

tap

An abstraction over C/C++ build systems, with a comfortable CLI interface.

Language:RustMIT2 10

toy-algebraic-effects

A prototype for a refactoring of Typst with algebraic effects

Language:Rust2 10

magma.vim

Make Vim into a Jupyter client.

Language:Python1 10

minienvs.typ

Theorem environments in Typst with minimal fuss

Language:TypstMIT1 10

rum

A tool to easily manage running jobs.

Language:RustMIT1 10

st

My fork of st.

Language:CMIT1 10

termimg

Experiments on displaying images in terminals without specialized protocols

Language:Rust1 1 1

packs

A tool for synchronizing packages across machines, where you may or may not have root access.

Language:Shell010

analysis-comvida-food-insecurity

Data analysis for food insecurity in one of the most vulnerable areas of Brazil. (See the paper.)

000

comemo

Incremental computation through constrained memoization.

Language:RustApache-2.0000

Curso_Blockchain

Indtroductory course to cryptocurrencies and applications of Blockchain technologies.

Language:HTMLLGPL-3.0000

Dpublish

Distributed platform for peer-reviewing scientific articles based on the Ethereum Blockchain.

Language:JavaScriptGPL-3.0000

lackey

Calendar

Language:CGPL-3.0000

llama

Rust LLVM bindings

Language:RustISC000

logrun-feedstock

A conda-smithy repository for logrun.

BSD-3-Clause000

micromusic

Simplest music playing program.

Language:ShellWTFPL010

moremath.typ

Additional notation, constants and utilities for doing math in Typst

Language:TypstMIT000

se

A tool that runs things with `nohup` for you.

Language:Shell010

staged-recipes

A place to submit conda recipes before they become fully fledged conda-forge feedstocks

Language:PythonBSD-3-Clause000

tap.sh

An abstraction over C/C++ build systems, written in POSIX shell script.

Language:Shell000

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustApache-2.0000

typst-hs

Haskell library for parsing and evaluating typst

NOASSERTION000

typst-packages

Packages for Typst.

Language:RustApache-2.0000

xmonad-contrib

Contributed modules for xmonad

Language:HaskellNOASSERTION000