Skip to content
View gchelfi's full-sized avatar

Block or report gchelfi

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
Showing results

Bear is a tool that generates a compilation database for clang tooling.

Rust 6,128 351 Updated Jan 11, 2026

GNU Emacs telegram client (unofficial)

Emacs Lisp 1,196 85 Updated Jan 2, 2026

A client for Language Server Protocol servers

Emacs Lisp 2,465 214 Updated Jan 11, 2026
Python 1 Updated May 23, 2020

A graphical user interface for git

TypeScript 140 18 Updated May 10, 2019

IRC Bot to play Mastermind

Python 2 1 Updated Jun 12, 2017

Blog post previews in need of peer review

2,201 173 Updated Jul 19, 2023

Homomorphic machine learning

Haskell 1,713 134 Updated May 29, 2016

Functional Reactive Programming library for Rust

Rust 418 19 Updated Jan 28, 2025

Type safe interface for working in subcategories of Hask

Haskell 420 41 Updated May 16, 2019

algorithms in scala

Scala 437 89 Updated Apr 4, 2024

Empowering everyone to build reliable and efficient software.

Rust 109,334 14,323 Updated Jan 13, 2026

The project where anything goes, as long as the code allows it

JavaScript 930 91 Updated Jun 11, 2022

A strongly-typed language that compiles to JavaScript

Haskell 8,826 571 Updated Oct 18, 2025

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…

Jupyter Notebook 18,617 4,440 Updated Aug 7, 2024

The plugin manager for zsh.

Shell 8,294 288 Updated Feb 18, 2024

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

Java 23,137 789 Updated Jul 15, 2024

One-line Haskell Vim install

Shell 987 100 Updated Aug 25, 2020

The Stump Window Manager

Common Lisp 2,001 277 Updated Jan 9, 2026

A curated list of awesome awesomeness

Ruby 33,142 3,589 Updated Jun 2, 2024

Powerful scripting language & versatile interactive shell

Go 6,204 318 Updated Nov 23, 2025

The definitive list of lists (of lists) curated on GitHub and elsewhere

10,874 731 Updated May 20, 2025

Learn Haskell

Makefile 8,019 554 Updated Sep 30, 2023

A curated list of amazingly awesome open source sysadmin resources inspired by Awesome PHP.

24,222 2,887 Updated Mar 26, 2024

An opinionated list of awesome Python frameworks, libraries, software and resources.

Python 277,987 27,039 Updated Jan 12, 2026

Phaser is a fun, free and fast 2D game framework for making HTML5 games for desktop and mobile web browsers, supporting Canvas and WebGL rendering.

JavaScript 38,853 7,132 Updated Dec 23, 2025

lamdu - towards the next generation IDE

Haskell 1,882 74 Updated Jan 12, 2026

Create agents that monitor and act on your behalf. Your agents are standing by!

Ruby 48,487 4,217 Updated Jan 8, 2026

A list of cool features of Git and GitHub.

54,565 5,387 Updated Apr 15, 2024

Multi-threaded tool for scanning many hosts for CVE-2014-0160.

Python 573 208 Updated Jul 2, 2015
Next