8000 Adrien-No (adrien) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Adrien-No's full-sized avatar
🐫
🐫
10 followers · 46 following

Block or report Adrien-No

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

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

Showing results

tobi-wan-kenobi / bumblebee-status

bumblebee-status is a modular, theme-able status line generator for the i3 window manager.

Python 1,254 229 Updated Apr 12, 2025

Bambinexx / MiniML

Subset of OCaml coded in OCaml :p

OCaml 2 Updated May 4, 2025

4y8 / .emacs.d

My emacs configuration

Emacs Lisp 2 Updated Jan 29, 2021

nextcloud / nextcloudpi

📦 Build code for NextcloudPi: Raspberry Pi, Odroid, Rock64, curl installer...

Shell 2,705 313 Updated Apr 13, 2025

fsantini / KoboCloud

A set of scripts to synchronize a kobo reader with popular cloud services

Shell 1,129 100 Updated Dec 11, 2024

heckelson / i3-and-kde-plasma

How to install the i3 window manager on KDE

910 35 Updated Mar 13, 2025

Tim-ats-d / Macron

A powerful keybind library and daemon for Linux.

OCaml 11 Updated Jul 24, 2022

libsemigroups / libsemigroups

C++ library for semigroups and monoids

C++ 46 30 Updated May 9, 2025

backtracking / ocaml-bazaar

OCaml 14 1 Updated Apr 15, 2025

math-comp / Coq-Combi

Algebraic Combinatorics in Coq

Coq 38 7 Updated Jan 21, 2025

OCamlPro / ocaml-cheat-sheets

OCaml Documentations as one-pagers, easy to keep useful commands in mind

TeX 130 14 Updated Oct 7, 2020

JeanGalte / lambda

Untyped lambda calculus implementation in ocaml, 100% side effects free, using de Bruijin indexes

OCaml 2 Updated Oct 3, 2023

backtracking / aoc

OCaml 2 Updated Jan 3, 2025

DaiF1 / Oditor

A simple text editor written in OCaml

OCaml 15 1 Updated Nov 10, 2023

rust-lang / rustlings

🦀 Small exercises to get you used to reading and writing Rust code!

Rust 58,250 10,589 Updated May 13, 2025

torjusti / cube-solver

A collection of Rubiks cube solvers implemented in JavaScript

JavaScript 25 6 Updated Sep 5, 2024

rsimp / gan-scrambler

CSS 19 8 Updated Apr 23, 2024

artisticat1 / obsidian-latex-suite

Make typesetting LaTeX as fast as handwriting through snippets, text expansion, and editor enhancements

TypeScript 1,789 66 Updated Apr 12, 2025

Rigellute / spotify-tui

Spotify for the terminal written in Rust 🚀

Rust 18,136 536 Updated Apr 4, 2024

Zellytog / Cours

Ensemble des pdf de cours que j'ai écrits

TeX 7 1 Updated Apr 24, 2023

4y8 / combo

A simple parser combinator library for Ocaml

OCaml 30 1 Updated Aug 21, 2021

the-lambda-church / dmlenu

a clone of dmenu written in OCaml.

OCaml 46 5 Updated May 22, 2021

JeanGalte / NFA_modularized

OCaml 3 Updated May 10, 2023

arthurPalla / ChessGame

A simple chess game

C 3 2 Updated Jan 4, 2023

emilypi / group-theory

The theory of groups

Haskell 76 11 Updated Sep 8, 2023

Mdrs-Corp / the-mu-lang

The µ programming langage interpreted in C

C 5 Updated May 3, 2023

prologin / sadm

Documentation, configs, scripts and services used for the finals of the Prologin contest

JavaScript 12 7 Updated Oct 31, 2022

ocaml / dune

A composable build system for OCaml.

OCaml 1,726 432 Updated May 14, 2025

Sycnex / Windows10Debloater

Script to remove Windows 10 bloatware.

PowerShell 18,484 2,064 Updated Mar 10, 2023

meraki-analytics / role-identification

Python 28 12 Updated Jul 22, 2021
Next
0