Martin Trapp (trappmartin)

trappmartin

Geek Repo

Company:Aalto University

Location:Europe

Home Page:https://trappmartin.github.io/

Twitter:@martin_trapp

Github PK Tool:Github PK Tool


Organizations
OFAI
TuringLang

Martin Trapp's starred repositories

helix

A post-modern modal text editor.

Language:RustLicense:MPL-2.0Stargazers:32257Issues:179Issues:4382

sioyek

Sioyek is a PDF viewer with a focus on textbooks and research papers

Language:CLicense:GPL-3.0Stargazers:6928Issues:40Issues:875

neorg

Modernity meets insane extensibility. The future of organizing your life in Neovim.

Language:LuaLicense:GPL-3.0Stargazers:6248Issues:50Issues:647

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4369Issues:69Issues:1719

tufte-latex

A Tufte-inspired LaTeX class for producing handouts, papers, and books

PackageCompiler.jl

Compile your Julia Package

Language:JuliaLicense:MITStargazers:1407Issues:49Issues:506

CUDA.jl

CUDA programming in Julia.

Language:JuliaLicense:NOASSERTIONStargazers:1187Issues:20Issues:1031

awesome-uncertainty-deeplearning

This repository contains a collection of surveys, datasets, papers, and codes, for predictive uncertainty estimation in deep learning models.

License:MITStargazers:495Issues:28Issues:0

Transducers.jl

Efficient transducers for Julia

Language:JuliaLicense:MITStargazers:432Issues:8Issues:158

dotfiles

My dotfiles about Neovim, Hyprland, Waybar ...

Language:LuaLicense:MITStargazers:309Issues:3Issues:2

AllocCheck.jl

AllocCheck

Language:JuliaLicense:NOASSERTIONStargazers:214Issues:23Issues:35

NNlib.jl

Neural Network primitives with multiple backends

Language:JuliaLicense:NOASSERTIONStargazers:201Issues:17Issues:209

DifferentiationInterface.jl

An interface to various automatic differentiation backends in Julia.

Language:JuliaLicense:MITStargazers:156Issues:7Issues:97

VimBindings.jl

Vim bindings for the Julia REPL

Language:JuliaLicense:MITStargazers:107Issues:5Issues:70

MLUtils.jl

Utilities and abstractions for Machine Learning tasks

Language:JuliaLicense:MITStargazers:105Issues:15Issues:88

bibtexbrowser

Beautiful publication lists with bibtex and PHP (standalone or in Wordpress)

FixedPointNumbers.jl

fixed point types for julia

Language:JuliaLicense:NOASSERTIONStargazers:80Issues:8Issues:98

Pigeons.jl

Sampling from intractable distributions, with support for distributed and parallel methods

Language:JuliaLicense:AGPL-3.0Stargazers:78Issues:8Issues:106

statlearn-s23

Course materials for Advanced Topics in Statistical Learning, Spring 2023

Language:TeXStargazers:43Issues:4Issues:0

julia-repl-vim

Julia REPL plugin for vim/neovim

Language:JuliaLicense:MITStargazers:27Issues:4Issues:2

typst-ai-conf-templates

AI conference templates in Typst

License:MITStargazers:24Issues:2Issues:0

TernaryDiagrams.jl

Ternary plots with Makie.jl

Language:JuliaLicense:MITStargazers:24Issues:1Issues:8

Diary.jl

Always keep a diary under your pillow.

Language:JuliaLicense:MITStargazers:18Issues:2Issues:3

OneHotArrays.jl

Memory efficient one-hot array encodings

Language:JuliaLicense:MITStargazers:17Issues:11Issues:16

StanLogDensityProblems.jl

LogDensityProblems implementation for Stan models

Language:JuliaLicense:MITStargazers:16Issues:2Issues:1

InlineExports.jl

Decentralizing exports in Julia

Language:JuliaLicense:MITStargazers:14Issues:2Issues:1

PosteriorDB.jl

Utilities for loading posteriordb with Julia

Language:JuliaLicense:MITStargazers:12Issues:2Issues:3

FeedbackParticleFilters.jl

A Julia package that provides (feedback) particle filters for nonlinear stochastic filtering and data assimilation problems

Language:JuliaLicense:MITStargazers:12Issues:2Issues:7

CharacteristicCircuits

Code for "Characteristic Circuits" @NeurIPS2023

Language:JuliaLicense:MITStargazers:8Issues:3Issues:0