Skip to content
@cynede

cynede

Pinned Loading

  1. gentoo-wsl gentoo-wsl Public

    WSL Overlay (Running Gentoo on Windows Kernel)

    55 2

Repositories

Showing 10 of 19 repositories
  • cynede/perfparser’s past year of commit activity
    C++ 0 GPL-3.0 0 0 0 Updated May 27, 2020
  • Blodwen Public Forked from edwinb/Blodwen

    A prototype successor to Idris

    cynede/Blodwen’s past year of commit activity
    Idris 1 34 0 0 Updated Jul 10, 2019
  • lettre Public Forked from lettre/lettre

    A mailer library for Rust

    cynede/lettre’s past year of commit activity
    Rust 0 MIT 210 0 0 Updated Feb 11, 2019
  • api-gentoo-org Public Forked from gentoo/api-gentoo-org

    Seed data for api.gentoo.org (this is where you create pull requests for new overlays!)

    cynede/api-gentoo-org’s past year of commit activity
    Python 0 330 0 0 Updated Nov 8, 2018
  • syntect Public Forked from trishume/syntect

    Rust library for syntax highlighting using Sublime Text syntax definitions.

    cynede/syntect’s past year of commit activity
    Rust 0 MIT 148 0 0 Updated Oct 17, 2018
  • bat Public Forked from sharkdp/bat

    A cat(1) clone with wings.

    cynede/bat’s past year of commit activity
    Rust 3 Apache-2.0 1,425 0 0 Updated Oct 17, 2018
  • purescript Public Forked from purescript/purescript

    A strongly-typed language that compiles to Javascript

    cynede/purescript’s past year of commit activity
    Haskell 1 632 0 0 Updated May 31, 2018
  • hexchat Public Forked from hexchat/hexchat

    GTK+ IRC client - version for stupid people

    cynede/hexchat’s past year of commit activity
    C 1 GPL-2.0 560 0 0 Updated Mar 14, 2018
  • gentoo-wsl Public

    WSL Overlay (Running Gentoo on Windows Kernel)

    cynede/gentoo-wsl’s past year of commit activity
    55 2 7 0 Updated Oct 26, 2017
  • Idris-dev Public Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    cynede/Idris-dev’s past year of commit activity
    Haskell 1 655 0 0 Updated Aug 1, 2017

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…