8000 cdo256 (cdo256) / Repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View cdo256's full-sized avatar
8 followers · 9 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report cdo256

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

  • nix-config Public

    My NixOS config

    Nix Updated May 13, 2025

  • home-manager Public

    Mange home configuration with Nix

    Nix MIT License Updated May 10, 2025

  • jukemash Public

    CSS 2 Updated May 10, 2025

  • nh Public

    Forked from nix-community/nh

    Fork of Yet another nix cli helper

    Rust European Union Public License 1.2 Updated May 10, 2025

  • comp4037-cw2 Public

    Jupyter Notebook Updated May 4, 2025

  • stresolve Public

    Resolve syncthing conflicts interactively.

    Python Updated Apr 26, 2025

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    My copy of Nix Packages collection & NixOS

    Nix MIT License Updated Apr 14, 2025
    EC77

  • 2025-mgs-nix-talk Public

    Slides on my talk about Nix

    TeX Updated Apr 11, 2025

  • ppt-2025 Public

    Programs Proofs and Types exercises

    Agda Updated Apr 4, 2025

  • agda-bindings Public

    Use agda-mode like bindings in Obsidian with Obsidian Latex Suite.

    Python MIT License Updated Apr 4, 2025

  • just-agda Public

    Emacs with just Agda and (almost) nothing else.

    Emacs Lisp Updated Apr 4, 2025

  • nixvim-config Public

    Nix Updated Mar 13, 2025

  • nixvim Public

    Configure Neovim with Nix!

    Nix MIT License Updated Mar 3, 2025

  • irnix Public

    Forked from isabelroses/dotfiles

    Isabel Roses' "over complex" Nix system configurations

    nix nixos
    Nix European Union Public License 1.2 Updated Jan 25, 2025

  • sgl-paper Public

    TeX Updated Jan 3, 2025

  • MLGroupProject2 Public

    Python 1 Updated Dec 13, 2024

  • lipics-authors Public

    TeX LaTeX Project Public License v1.3c Updated Nov 27, 2024

  • MLGroupProject Public

    Jupyter Notebook Updated Nov 11, 2024

  • financeforge Public

    Python Updated Oct 27, 2024

  • blog Public

    CSS Updated Aug 16, 2024

  • octohugious Public

    Forked from alex-shpak/hugo-book

    Hugo theme for my personal blog, forked from https://github.com/alex-shpak/hugo-book.

    hugo-theme hugo
    HTML MIT License Updated Aug 16, 2024

  • scripts Public

    My personal shell/Python/Guile scripts (mirror of https://git.mutix.org/cdo/scripts.git)

    Python Updated Jun 24, 2024

  • graph-algorithms Public

    Python 1 Updated Jun 12, 2024

  • tcp-chat Public

    Super simple TCP chat room client & server written in C

    c socket tcp
    C Updated Jun 6, 2024

  • guix-channel Public

    My personal Guix channel (mirror of https://git.mutix.org/cdo/guix-channel.git)

    Updated May 25, 2024

  • cdo-guix-channel Public

    Scheme Updated Mar 3, 2024

  • guix-package-refactor Public

    Tools for refactoring Guix package declarations

    Scheme Updated Feb 4, 2024

  • guix Public

    My copy of Guix, a functional package manger and operating system

    Scheme GNU General Public License v3.0 Updated Feb 3, 2024

  • note-refactor-obsidian Public

    Forked from lynchjames/note-refactor-obsidian

    Allows for text selections to be copied (refactored) into new notes and notes to be split into other notes.

    TypeScript MIT License Updated Jan 22, 2024

  • cdoedit Public

    A really simple graphical editor for X11

    x11 text-editor
    C 1 MIT License Updated Aug 27, 2022
0