Skip to content
View 4y8's full-sized avatar
  • École normale supérieure - PSL
  • Marseille/Paris

Organizations

@mage-linux @selene-lang

Block or report 4y8

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
  • tp Public

    OCaml Updated May 27, 2024
  • monk Public

    a firefox extension to stay focused

    JavaScript GNU General Public License v3.0 Updated Nov 3, 2023
  • HTML Updated Jul 9, 2023
  • ocaml Public

    Forked from ocaml/ocaml

    The core OCaml system: compilers, runtime system, base libraries

    OCaml Other Updated Jan 29, 2023
  • Tiny-CHIP-8 Public

    Another Chip8 emulator but in Ocaml this time.

    OCaml 8 BSD 3-Clause "New" or "Revised" License Updated May 7, 2022
  • lamp Public

    OCaml ISC License Updated Apr 12, 2022
  • ps2sdk Public

    Forked from ps2dev/ps2sdk

    Homebrew PS2 SDK

    C Other Updated Feb 21, 2022
  • plml Public

    OCaml GNU General Public License v3.0 Updated Jan 25, 2022
  • A small benchmark to test benfits of floating point operations simplifications

    OCaml Updated Jan 18, 2022
  • owl Public

    Forked from owlbarn/owl

    Owl - OCaml Scientific and Engineering Computing @ https://ocaml.xyz

    OCaml MIT License Updated Jan 16, 2022
  • Zarith Public

    Forked from ocaml/Zarith

    The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

    OCaml Other Updated Jan 15, 2022
  • combo Public

    A simple parser combinator library for Ocaml

    OCaml 30 1 BSD 3-Clause "New" or "Revised" License Updated Aug 21, 2021
  • uevil Public

    Emacs Lisp 1 BSD 3-Clause "New" or "Revised" License Updated Jul 29, 2021
  • magessl Public

    C GNU General Public License v3.0 Updated Jun 13, 2021
  • 4y8 Public

    1 BSD 2-Clause "Simplified" License Updated Apr 29, 2021
  • askeladd Public

    OCaml 2 BSD 2-Clause "Simplified" License Updated Apr 5, 2021
  • mussel Public

    Forked from firasuke/mussel

    The shortest and fastest script to build working cross compilers targeting musl libc

    Shell ISC License Updated Mar 1, 2021
  • plan9port Public

    Forked from 9fans/plan9port

    Plan 9 from User Space

    C Other Updated Feb 19, 2021
  • carbon Public

    C BSD 3-Clause "New" or "Revised" License Updated Feb 16, 2021
  • zdeta Public

    Zdeta is high-level compiled programming language.

    C 1 BSD 3-Clause "New" or "Revised" License Updated Feb 4, 2021
  • .emacs.d Public

    My emacs configuration

    Emacs Lisp 1 BSD 2-Clause "Simplified" License Updated Jan 29, 2021
  • yahdl Public

    C ISC License Updated Dec 26, 2020
  • krv Public

    C ISC License Updated Sep 15, 2020
  • YLFS Public

    My version of Linux From Scratch based on https://github.com/dslm4515/Musl-LFS/

    Shell BSD Zero Clause License Updated Sep 10, 2020
  • Sinit init scripts for my LFS.

    Shell 1 BSD Zero Clause License Updated Aug 27, 2020
  • hou-lang Public

    C 1 BSD 2-Clause "Simplified" License Updated Aug 19, 2020
  • libconcord Public

    A Discord library for the ESP32 microcontroller

    C BSD 3-Clause "New" or "Revised" License Updated Aug 11, 2020
  • lazyx Public

    A small OS written in assembly [WIP]

    Assembly BSD 3-Clause "New" or "Revised" License Updated Jul 30, 2020
  • ski-in-asm Public

    A SKI combinators interpreter written in assembly

    Assembly 17 1 BSD 2-Clause "Simplified" License Updated Jul 25, 2020
  • sowm Public

    Forked from dylanaraps/sowm

    An itsy bitsy floating window manager (220~ sloc!).

    C MIT License Updated Jul 8, 2020