Skip to content
View behaghel's full-sized avatar
39 followers · 40 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Block or report behaghel

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

  • guile-seed Public

    Nix-based development environment for Guile programming language

    Nix MIT License Updated Aug 10, 2024

  • .emacs.d Public

    My Emacs config.

    Emacs Lisp 1 Updated Jun 29, 2024

  • nixos-config Public

    Python Updated Jun 23, 2024

  • dotfiles Public

    Python 3 Updated Sep 24, 2023

  • learning-python Public

    My playground to learn and try stuff with Python.

    Nix GNU General Public License v3.0 Updated Sep 10, 2023

  • mk-darwin-system Public

    Forked from vic/mk-darwin-system

    Small Nix utility to create an M1 aarch64-darwin (nixFlakes + nix-darwin + home-manager) system.

    Nix Apache License 2.0 Updated Dec 7, 2021

  • ox-hugo Public

    Forked from kaushalmodi/ox-hugo

    A carefully crafted Org exporter back-end for Hugo

    Emacs Lisp GNU General Public License v3.0 Updated Nov 29, 2021

  • nixfiles Public

    Nix, where have you been all this time? Be there, now and always.

    Nix GNU General Public License v3.0 Updated Oct 24, 2021

  • elmom Public

    Emacs Line Management with Org Mode

    Emacs Lisp GNU General Public License v3.0 Updated Apr 25, 2021

  • GameOfLife Public

    Just having fun with life and smalltalk.

    Smalltalk Updated Jan 2, 2021

  • prezto Public archive

    Forked from sorin-ionescu/prezto

    The configuration framework for Zsh

    Shell Updated Jul 21, 2018

  • .vim Public

    Vim Script 2 Updated Jul 21, 2018

  • my-env Public

    To reason one needs to assume.

    Updated Jul 21, 2018

  • scala-exercises Public

    To practice any art, no matter how well or badly, is a way to make your soul grow. So do it.

    Scala Other Updated Jul 1, 2018

  • syntax-highlighting Public

    Forked from KDE/syntax-highlighting

    Syntax highlighting Engine for Structured Text and Code.

    HTML GNU Lesser General Public License v2.1 Updated Mar 3, 2018

  • marvel Public

    The CLI to use when the Earth is at stake and everything else failed

    Scala MIT License Updated Sep 18, 2016

  • cordova-icon Public

    Forked from AlexDisler/cordova-icon

    Automatic icon resizing for Cordova

    JavaScript MIT License Updated Jan 9, 2016

  • tobyks Public

    Scala 3 Updated Nov 2, 2015

  • shaolin Public

    Scala BSD 3-Clause "New" or "Revised" License Updated Sep 18, 2015

  • tumblishr Public

    drive your tumblr with one command line

    Scala 2 Updated May 1, 2015

  • scala-sessions Public

    A project I use as a training environment for teaching Scala.

    HTML Other Updated Apr 29, 2015

  • Life Public archive

    Conway's Game of Life in Smalltalk

    Smalltalk Other Updated Nov 28, 2014

  • artbollocks-mode Public

    Forked from sachac/artbollocks-mode

    Emacs mode for highlighting weasel words

    Emacs Lisp GNU Affero General Public License v3.0 Updated Nov 23, 2014

  • org-reveal Public

    Forked from yjwen/org-reveal

    Exports Org-mode contents to Reveal.js HTML presentation.

    Emacs Lisp Updated Sep 23, 2014

  • evil-org-mode Public

    Forked from edwtjo/evil-org-mode

    Supplemental evil-mode keybindings to emacs org-mode

    Emacs Lisp Updated May 5, 2013

  • behaghel.github.io Public

    My technical blog

    JavaScript Updated May 1, 2013

  • sample-cqrs-cargo Public

    Forked from aloiscochard/sample-cqrs-cargo
    Scala 1 Updated Mar 5, 2012

  • bin Public

    some exec I've become used to

    Shell 1 Updated Jul 18, 2011