573 Goto Github PK
Name: Daniel Kahlenberg
Type: User
Bio: DISCLAIMER! The archived repositories are mostly not useful to anyone anymore. Please don't use them neither as referenc
Twitter: corocoton
Location: Leipzig
Name: Daniel Kahlenberg
Type: User
Bio: DISCLAIMER! The archived repositories are mostly not useful to anyone anymore. Please don't use them neither as referenc
Twitter: corocoton
Location: Leipzig
Using haskell-updates branch of nixpkgs on aarch64-linux (https://github.com/t184256/nix-on-droid/) to cabal new-build a project fails with `ld.gold` trying to access `/lib`
Do not use this! Is just proof of concept running github actions on aarch64.
Collecting approaches to Agent Based Modelling here.
An Emacs front end for GPT APIs like OpenAI
A collection of tools for writing technical documents that mix Coq code and prose.
An elegant Emacs setup optimized for non-technical writers
Keeping tracking of Bloatware that is safe to disable.
csv files with learning resources as content.
Nix-based app VMs
Notes regarding running Arch on certain hardware
AudioDeviceCmdlets is a suite of PowerShell Cmdlets to control audio devices on Windows
A collection of handy Bash One-Liners and terminal tricks for data processing and Linux system maintenance.
This is mainly for setting up some example projects using the boost library to help getting used to.
Category Theory and Algebraic abstractions for Clojure and ClojureScript.
two nvim-cmp sources for nixpkgs
config for smartphone
config for work machine
CV, typesetted in Helvetica Neue, using XeTeX, TikZ and Biblatex
ADB commands to aggressively de-bloat Samsung Android Phones without root. Make Samsung One UI closer to stock Android.
Add cachix caches declaratively
Dev environments for numerous languages based on Nix flakes [maintainer=@lucperkins]
Dumping rgb values from a dng file with the libraw library.
A flake for testing, building and packaging the Dolphin Gamecube emulator
My NixOS dotfiles
(ICCV'21) Official code of "Dressing in Order: Recurrent Person Image Generation for Pose Transfer, Virtual Try-on and Outfit Editing."
elementary-web-audio-synth
Today I learned (TIL) in Emacs
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.