Skip to content
View loutr's full-sized avatar
🦜
🦜
7 followers · 16 following

Block or report loutr

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection & NixOS

    Nix MIT License Updated May 4, 2024

  • packages Public

    Forked from typst/packages

    Packages for Typst.

    Rust 1 Apache License 2.0 Updated Mar 20, 2024

  • zipperposition Public

    Forked from nartannt/zipperposition

    An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…

    OCaml BSD 2-Clause "Simplified" License Updated Oct 27, 2023

  • helix Public

    Forked from helix-editor/helix

    A post-modern modal text editor.

    Rust Mozilla Public License 2.0 Updated Sep 6, 2023