GitHub / fatho 61 Repositories
fatho/logru
Log(ic) programming in Ru(st).
Language: Rust - Size: 256 KB - Last synced at: 26 days ago - Pushed at: 5 months ago - Stars: 21 - Forks: 4
fatho/bevy Fork of bevyengine/bevy
A refreshingly simple data-driven game engine built in Rust
Size: 130 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
fatho/Waybar Fork of Alexays/Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:
Size: 2.81 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
fatho/types-semantics Fork of afraca/types-semantics
Language: Agda - Size: 5.51 MB - Last synced at: almost 2 years ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0
fatho/volume
A Haskell library for volume rendering.
Language: Haskell - Size: 129 KB - Last synced at: almost 2 years ago - Pushed at: about 11 years ago - Stars: 0 - Forks: 0
fatho/template-haskell-nix
A bare-bones setup for building Haskell with nix.
Language: Nix - Size: 5.86 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0
fatho/SysInf
Some byproducts of visiting the course "Systemnahe Informatik" in summer semester 2013 at University of Bonn.
Language: Haskell - Size: 113 KB - Last synced at: almost 2 years ago - Pushed at: about 12 years ago - Stars: 0 - Forks: 0
fatho/syn-txt
A text-based synthesizer/audio workstation for easy integration with version control and without the visual clutter of traditional DAWs.
Language: Rust - Size: 7.41 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 1
fatho/spacemonads
A SpaceInvaders clone in Haskell. Unfortunately, due to changes to dependencies, this game is currently not buildable.
Language: Haskell - Size: 246 KB - Last synced at: almost 2 years ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 0
fatho/spacemacs-coq Fork of olivierverdier/spacemacs-coq
A very simple coq layer for spacemacs
Language: Emacs Lisp - Size: 2.93 KB - Last synced at: almost 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0
fatho/spacemacs Fork of syl20bnr/spacemacs
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Language: Emacs Lisp - Size: 12 MB - Last synced at: almost 2 years ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0
fatho/schematic
A small byte-code VM for a scheme-like language, eventually.
Language: Python - Size: 2.93 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
fatho/nixpkgs-mozilla Fork of mozilla/nixpkgs-mozilla
Mozilla overlay for Nixpkgs.
Size: 304 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
fatho/rot-2015
Sachen erstellt für und während der Sommerakademie 2015 in Rot an der Rot.
Language: TeX - Size: 463 KB - Last synced at: almost 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0
fatho/program-verification-engine
A program verification tool using the weakest liberal precondition predicate transformer.
Language: Haskell - Size: 85 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
fatho/Fira Fork of mozilla/Fira
Mozilla's new typeface, used in Firefox OS
Size: 581 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
fatho/Primes Fork of PlummersSoftwareLLC/Primes
Prime Number Projects in C#/C++/Python
Size: 4.94 MB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
fatho/photo-archive
A photo manager written in Rust with a frontend written in TypeScript.
Language: Rust - Size: 212 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
fatho/nixpkgs Fork of NixOS/nixpkgs
Nix Packages collection
Language: Nix - Size: 2.12 GB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
fatho/nixfiles
Some nix expressions facilitating my use of the nix package manager.
Language: Nix - Size: 5.86 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
fatho/nix-rust
Experiments with a more granular way of building rust packages than what is in nixpkgs
Language: Nix - Size: 2.93 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
fatho/ninja
A high-level wrapper around the Haskell OpenGL bindings provided by the gl package.
Language: Haskell - Size: 385 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
fatho/neon
A small kernel written in the dependently typed language Idris.
Language: C - Size: 196 KB - Last synced at: almost 2 years ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0
fatho/mattermost-gather-users Fork of juanfran/mattermost-gather-users
Mattermost plugin to pair two user to chat
Size: 254 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
fatho/match-planner
Assign people to tennis matches.
Language: Rust - Size: 40 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
fatho/liboverlay
LD_PRELOAD hack for emulating an overlayfs-like file system structure.
Language: Rust - Size: 21.5 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
fatho/learnos
[UNMAINTAINED] An OS written in Rust to learn more about OS development.
Language: Rust - Size: 259 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1
fatho/labyrinth
Labyrinth board game.
Language: JavaScript - Size: 266 KB - Last synced at: almost 2 years ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0
fatho/krpc Fork of krpc/krpc
Remote Procedure Calls for Kerbal Space Program
Language: C# - Size: 48 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
fatho/kos-idris
A type-safe DSL embedded in Idris for generating kOS scripts for Kerbal Space Program (https://ksp-kos.github.io/KOS/). This turned out to be a little bit to brittle and has been superseded by https://github.com/fatho/kos-c.
Language: Idris - Size: 10.7 KB - Last synced at: almost 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
fatho/incremental
Experiments with incremental compiler pipelines.
Language: Nix - Size: 1.95 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
fatho/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
Language: Haskell - Size: 26.6 MB - Last synced at: almost 2 years ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0
fatho/http-client Fork of snoyberg/http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
Size: 2.37 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
fatho/hjit
A JIT compiler written in pure Haskell (with a bit of FFI for memory allocation).
Language: Haskell - Size: 37.1 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
fatho/Helium
A small 64 bit OS with a micro-kernel. Half-baked and discontinued.
Language: C - Size: 516 KB - Last synced at: almost 2 years ago - Pushed at: about 11 years ago - Stars: 0 - Forks: 0
fatho/haskell-mode Fork of haskell/haskell-mode
Emacs mode for Haskell
Language: Emacs Lisp - Size: 1.99 MB - Last synced at: almost 2 years ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 0
fatho/haskell-fun-experiments
Experiments implementing a functional language in Haskell.
Language: Haskell - Size: 50.8 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
fatho/gl3w Fork of skaslev/gl3w
Simple OpenGL core profile loading
Language: Python - Size: 111 KB - Last synced at: almost 2 years ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0
fatho/gravity-sfml
A toy project for experimenting with SFML, entity component systems and gravity.
Language: C++ - Size: 11.6 MB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0
fatho/glui
Experiment in writing an OpenGL based UI
Language: Rust - Size: 85.9 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
fatho/git-assets
A minimalistic tool for dealing with large (binary) assets in git repositories
Language: Rust - Size: 38.1 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
fatho/ghc-events-analyze Fork of well-typed/ghc-events-analyze
Size: 839 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
fatho/fuse-rs Fork of zargony/fuse-rs
Rust library for filesystems in userspace (FUSE)
Size: 618 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
fatho/FunctionalKSP
F# library for controlling rockets and planes in KSP using kRPC
Language: F# - Size: 139 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
fatho/fatho.github.io
my github pages
Language: HTML - Size: 449 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
fatho/compiler-construction
Compilation of a functional programming language to UHC core and program analysis of an imperative language using monotone frameworks.
Language: Haskell - Size: 898 KB - Last synced at: almost 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0
fatho/circuits
A Haskell library for simulating electric circuits.
Language: Haskell - Size: 19.5 KB - Last synced at: almost 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 1
fatho/bioview
BioView application created for "Objektorientierte Softwareentwicklung" during summer term 2013 at the University of Bonn.
Language: Java - Size: 9.48 MB - Last synced at: almost 2 years ago - Pushed at: about 12 years ago - Stars: 0 - Forks: 0
fatho/bevy_rapier Fork of dimforge/bevy_rapier
Official Rapier plugin for the Bevy game engine.
Size: 707 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
fatho/bevy_egui Fork of mvlabat/bevy_egui
A fork used for applying needed fixes before they hit crates.io
Size: 387 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
fatho/amdgpu-fan
Automatic fan control for the AMDGPU driver
Language: Rust - Size: 7.81 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
fatho/autorec
A daemon for automatically recordings songs played on a digital piano connected via MIDI.
Language: Rust - Size: 1000 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
fatho/auto
Tool for running tasks with dependencies in the right order, possibly in parallel.
Language: Rust - Size: 23.4 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
fatho/afp-project
Language: Haskell - Size: 566 KB - Last synced at: almost 2 years ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0
fatho/alsa-rs Fork of diwic/alsa-rs
Thin but safe ALSA wrappers for Rust
Size: 354 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
fatho/advent-of-code
Advent of Code 2020 in Rust
Language: Rust - Size: 504 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0
fatho/kos-c
Compiler for a C/C++/C#-like language targeting the kOS scripting language used in the Kerbal Operating System mod (https://ksp-kos.github.io/KOS/index.html) for Kerbal Space Program.
Language: Haskell - Size: 1.57 MB - Last synced at: almost 2 years ago - Pushed at: over 8 years ago - Stars: 16 - Forks: 2
fatho/multigrid
A multigrid solver written in Rust.
Language: Rust - Size: 12.7 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
fatho/template-rust-nix
A template project for rust development via nix.
Language: Nix - Size: 33.2 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
fatho/ds2d
[work-in-progress] The dead-simple 2D graphics engine for Rust.
Language: Rust - Size: 253 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
fatho/rust-synth
A synthesizer written in Rust with the purpose of learning Rust and how digital synthesizers work.
Language: Rust - Size: 54.7 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
fatho/bachelor-thesis
My bachelor thesis.
Language: Haskell - Size: 979 KB - Last synced at: almost 2 years ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 0
fatho/ba-funlogic-common
Language: Haskell - Size: 563 KB - Last synced at: almost 2 years ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 0