Giters
Felix Kastner (fkastner)

fkastner

Geek Repo

13

followers

32

following

232

stars

Company:University of Lübeck

Location:Germany

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

Github PK Tool:Github PK Tool

Organizations
stochastics-uni-luebeck

Felix Kastner's starred repositories

Guides

Language:ShellStargazers:439Issues:0Issues:0

cli

🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.

Language:PythonLicense:BSD-3-ClauseStargazers:33828Issues:0Issues:0

org-download

Drag and drop images to Emacs org-mode

Language:Emacs LispStargazers:1083Issues:0Issues:0

el-easydraw

Embedded drawing tool for Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:770Issues:0Issues:0

rustic

rustic - fast, encrypted, and deduplicated backups powered by Rust

Language:RustLicense:Apache-2.0Stargazers:1943Issues:0Issues:0

flyspell-correct

Distraction-free words correction with flyspell via selected interface.

Language:Emacs LispLicense:NOASSERTIONStargazers:202Issues:0Issues:0

org-ql

A searching tool for Org-mode, including custom query languages, commands, saved searches and agenda-like views, etc.

Language:Emacs LispLicense:GPL-3.0Stargazers:1415Issues:0Issues:0

kopia

Cross-platform backup tool for Windows, macOS & Linux with fast, incremental backups, client-side end-to-end encryption, compression and data deduplication. CLI and GUI included.

Language:GoLicense:Apache-2.0Stargazers:7883Issues:0Issues:0

HeliBoard

Customizable and privacy-conscious open-source keyboard

Language:JavaLicense:Apache-2.0Stargazers:2413Issues:0Issues:0

orgzly-android-revived

Outliner for taking notes and managing to-do lists

Language:KotlinLicense:GPL-3.0Stargazers:648Issues:0Issues:0

espanso

Cross-platform Text Expander written in Rust

Language:RustLicense:GPL-3.0Stargazers:10031Issues:0Issues:0

emacs-org-mode-tutorial

A primer for users trying to make sense of Org Mode

Language:Emacs LispStargazers:400Issues:0Issues:0

geeqie

claiming to be the best image viewer / photo collection browser

Language:C++License:GPL-2.0Stargazers:478Issues:0Issues:0

clogwench

Language:RustStargazers:6Issues:0Issues:0

clapper

Level up your video experience with a modern and user-friendly media player.

Language:CLicense:GPL-3.0Stargazers:789Issues:0Issues:0

ocaml-forester

Mirror of ocaml-forester

Language:OCamlLicense:GPL-3.0Stargazers:40Issues:0Issues:0

gedit-plugin-markdown_preview

A gedit plugin previewing markdown (.md) documents

Language:PythonLicense:GPL-3.0Stargazers:129Issues:0Issues:0

logseq

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

Language:ClojureLicense:AGPL-3.0Stargazers:32765Issues:0Issues:0

writedown

✏ writedown - Free and Open Source Markdown Diary. Public Blogs and Private Notes.

Language:TypeScriptLicense:AGPL-3.0Stargazers:229Issues:0Issues:0

NNG4

Natural Number Game

Language:LeanLicense:Apache-2.0Stargazers:112Issues:0Issues:0

Aegis

A free, secure and open source app for Android to manage your 2-step verification tokens.

Language:JavaLicense:GPL-3.0Stargazers:9127Issues:0Issues:0

earlyoom

earlyoom - Early OOM Daemon for Linux

Language:CLicense:MITStargazers:2952Issues:0Issues:0

nautilus-terminal

A terminal embedded in Nautilus, the GNOME's file browser

Language:PythonLicense:GPL-3.0Stargazers:323Issues:0Issues:0

learn-fpga

Learning FPGA, yosys, nextpnr, and RISC-V

Language:C++License:BSD-3-ClauseStargazers:2561Issues:0Issues:0

JuliaLowering.jl

Julia code lowering with precise provenance

Language:JuliaLicense:MITStargazers:58Issues:0Issues:0

complex-function-plotter

WebGL Complex Function Plotter

Language:JavaScriptLicense:GPL-3.0Stargazers:48Issues:0Issues:0

InteractivePrompts.jl

Multi-modal menus

Language:JuliaStargazers:3Issues:0Issues:0

paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

Language:TypeScriptLicense:MITStargazers:360Issues:0Issues:0

MittagLeffler.jl

Mittag-Leffler function

Language:JuliaLicense:NOASSERTIONStargazers:10Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4662Issues:0Issues:0