Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by phipsgabler
A curated list of projects in awesome lists by phipsgabler .
https://github.com/phipsgabler/trello2md
Convert Trello's JSON exports to Markdown.
Last synced: 12 Oct 2024
https://github.com/phipsgabler/binarylambdacalculus.jl
binary-lambda-calculus lambda-calculus
Last synced: 12 Oct 2024
https://github.com/phipsgabler/docker-texlive-minimal
Docker image for a minimal texlive setup
docker-image latex tex texlive
Last synced: 12 Oct 2024
https://github.com/phipsgabler/operajonal
Implementation of free monads in JavaScript, based on Haskell's operational package
Last synced: 12 Oct 2024
https://github.com/phipsgabler/dsl-examples
Shows examples of patterns used in Scala embedded DSLs.
dsl functional-programming scala
Last synced: 12 Oct 2024
https://github.com/phipsgabler/lambdacalculus.jl
Representations of lambda terms in a form you can work with
de-bruijn-notation lambda-calculus lambda-expressions locally-nameless
Last synced: 12 Oct 2024
https://github.com/phipsgabler/map-poster
How to create your own map poster from OSM data
Last synced: 12 Oct 2024
https://github.com/phipsgabler/guitarsongbook
A document class wrapping the songs package
Last synced: 12 Oct 2024
https://github.com/phipsgabler/mini-lambda
A small normalizer for lambda calculus, implementing (almost) everything from scratch.
lambda-calculus parser-combinators
Last synced: 12 Oct 2024
https://github.com/phipsgabler/mhs
Calculate minimal hitting sets using a trivial algorithm
Last synced: 12 Oct 2024
https://github.com/phipsgabler/chordtable
Easily create tables of chord tabulatures for guitar (using TikZ)
Last synced: 12 Oct 2024
https://github.com/phipsgabler/soft-computing-final
Genetic programming for induction of linear classification trees
Last synced: 12 Oct 2024
https://github.com/phipsgabler/algdesign-persistent-data-structures
Presentation for Algorithm Design Seminar 2 on persistent data structures
algorithm-design data-structures persistent-data-structures
Last synced: 12 Oct 2024
https://github.com/phipsgabler/littlegibbs.jl
Try out the AbstractMCMC interface
Last synced: 12 Oct 2024
https://github.com/phipsgabler/algdesign-plurality-points
Presentation and reimplementation for Algorithm Design Seminar 1 on plurality points
algorithm algorithm-design computational-geometry
Last synced: 12 Oct 2024
https://github.com/phipsgabler/treesplitting.jl
Story of a purely functional implementation of random tree splits
Last synced: 12 Oct 2024
https://github.com/phipsgabler/spam
An assorted collection of email spam messages
Last synced: 12 Oct 2024
https://github.com/phipsgabler/finnish-vocabulary
Collection of basic Finnish vocabulary with German translations
Last synced: 12 Oct 2024
https://github.com/phipsgabler/init.el
My emacs configuration (not _too_ fancy...)
dotfiles emacs emacs-configuration
Last synced: 12 Oct 2024
https://github.com/phipsgabler/densityinterfacead.jl
Wrappers to make DensityInterface work with the LogDensityProblems differentiation system
Last synced: 12 Oct 2024
https://github.com/phipsgabler/beyond_overdubbing
Material for my talk at JuliaCon 2020
Last synced: 12 Oct 2024