Skip to content
View emdash's full-sized avatar
23 followers · 2 following

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report emdash

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

  • ampii Public

    Idris 1 GNU Affero General Public License v3.0 Updated Jul 24, 2024

  • idris2-tui Public

    Rich Terminal UI framework for Idris2

    Updated Jun 10, 2024

  • highlight.js Public

    Forked from highlightjs/highlight.js

    JavaScript syntax highlighter with language auto-detection and zero dependencies.

    JavaScript BSD 3-Clause "New" or "Revised" License Updated Mar 26, 2024

  • idris2-finset Public

    Idris 1 Updated Mar 16, 2024

  • uConsole_sway_config Public

    Dotfiles to configure sway for uConsole config

    Shell 2 Updated Feb 22, 2024

  • idris-todo Public

    Idris Updated Dec 17, 2023

  • idris2-sqlite3 Public

    Forked from stefan-hoeck/idris2-sqlite3

    Idris2 bindings to the sqlite3 C-API

    Idris BSD 3-Clause "New" or "Revised" License Updated Dec 16, 2023

  • idris-datetime Public

    Idris implementation of date and time types

    Idris 2 1 MIT License Updated Dec 5, 2023

  • recipecleaner Public

    Forked from erik/recipecleaner

    Chrome and Firefox extension to clean up messy recipe sites. Readability for recipes.

    JavaScript GNU General Public License v3.0 Updated Aug 26, 2023

  • irpn Public

    Idris port of rpncalc

    Idris 2 GNU Affero General Public License v3.0 Updated May 18, 2023

  • idris2-finite Public

    Forked from stefan-hoeck/idris2-finite

    A derivable interface for types with a finite number of values

    Idris BSD 3-Clause "New" or "Revised" License Updated Mar 20, 2023

  • idris2-tutorial Public

    Forked from stefan-hoeck/idris2-tutorial
    Idris BSD 3-Clause "New" or "Revised" License Updated Mar 5, 2023

  • udlang Public

    A practical, functional language for stream processing.

    Rust 1 GNU Lesser General Public License v3.0 8 issues need help Updated Nov 23, 2022

  • braun_et_al Public

    ssa construction in python

    Python MIT License Updated Oct 1, 2022

  • gc_roots Public

    GC Visualization tool

    Python GNU Affero General Public License v3.0 Updated Sep 27, 2022

  • brainbox Public

    Shell 1 GNU Lesser General Public License v3.0 Updated Jul 29, 2022

  • heliostan Public

    Software and Firmware for DIY PV Solar Trackers

    Python GNU General Public License v2.0 Updated Jul 11, 2022

  • pocketchip_config Public

    Shell 3 Updated Jul 6, 2022

  • chip_config Public

    Updated Jul 4, 2022

  • xdot.py Public

    Forked from jrfonseca/xdot.py

    Interactive viewer for graphs written in Graphviz's dot language.

    Python GNU Lesser General Public License v3.0 Updated May 6, 2022

  • cairo_sandbox Public

    Python GNU Lesser General Public License v3.0 Updated Mar 26, 2022

  • udashboard Public

    Custom dashboard firmware using rust, cairo, libdrm

    Rust 2 1 GNU Lesser General Public License v3.0 Updated Feb 18, 2022

  • fgrs-toolbox Public

    Rust Port of Shivers & Wand's Bottom-up Beta-Reduction

    Rust Other Updated Feb 16, 2022

  • rpncalc Public

    Mobile-First RPN Calculator

    JavaScript GNU Affero General Public License v3.0 Updated Jan 24, 2022

  • oil Public

    Forked from oils-for-unix/oils

    Oil is a new Unix shell. It's our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!

    Python Other Updated Dec 14, 2021

  • nixos_config Public

    Adventures in NixOS

    Nix Updated May 27, 2021

  • buildroot Public

    Forked from buildroot/buildroot

    Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or…

    Makefile Other Updated Dec 8, 2020

  • pywayland Public

    Forked from flacjacket/pywayland

    Python bindings for the libwayland library

    Python Apache License 2.0 Updated May 24, 2020

  • glial Public archive

    A toy graphics engine written on top of glium, built up incrementally from a glium tutorial.

    Rust MIT License Updated Sep 17, 2018

  • kivy Public

    Forked from kivy/kivy

    Open source UI framework written in Python, running on Windows, Linux, OS X, Android and iOS

    Python MIT License Updated Jul 16, 2016