Laurent Thévenoux (thvnx)

thvnx

Geek Repo

Company:@adacore

Github PK Tool:Github PK Tool

Laurent Thévenoux's starred repositories

ohmyzsh

🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

fzf

:cherry_blossom: A command-line fuzzy finder

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Language:LLVMLicense:NOASSERTIONStargazers:27063Issues:592Issues:72682

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs LispLicense:GPL-3.0Stargazers:23585Issues:483Issues:8519

prezto

The configuration framework for Zsh

Language:ShellLicense:MITStargazers:13887Issues:214Issues:1045

tmux-resurrect

Persists tmux environment across system restarts.

Language:ShellLicense:MITStargazers:10975Issues:94Issues:398

dehydrated

letsencrypt/acme client implemented as a shell-script – just add water

Language:ShellLicense:MITStargazers:5935Issues:173Issues:621

include-what-you-use

A tool for use with clang to analyze #includes in C and C++ source files

Language:C++License:NOASSERTIONStargazers:4001Issues:72Issues:803

motioneye

A web frontend for the motion daemon.

Language:PythonLicense:GPL-3.0Stargazers:3865Issues:171Issues:2553

ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

Language:HaskellLicense:NOASSERTIONStargazers:3001Issues:144Issues:0

awesome-mechanical-keyboard

⌨️ A curated list of Open Source Mechanical Keyboard resources.

llvm-tutor

A collection of out-of-tree LLVM passes for teaching and learning

Language:C++License:MITStargazers:2828Issues:55Issues:58

mechanical-keyboard

DIY mechanical keyboard and where to find them

ispc

Intel® Implicit SPMD Program Compiler

Language:C++License:BSD-3-ClauseStargazers:2440Issues:96Issues:1208

CompCert

The CompCert formally-verified C compiler

Language:CoqLicense:NOASSERTIONStargazers:1832Issues:64Issues:277

sogo

SOGo is a very fast and scalable modern collaboration suite (groupware). It offers calendaring, address book management, and a full-featured Webmail client along with resource sharing and permission handling. It also makes use of documented standards (IMAP, CalDAV, CardDAV, etc.) and thereby provides native connectivity (without plugins) to many clients such as Microsoft Outlook, Apple iCal, the iPhone, Mozilla Lightning, and a plethora of mobile devices.

Language:Objective-CLicense:GPL-2.0Stargazers:1736Issues:91Issues:0

awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

alire

Command-line tool from the Alire project and supporting library

Language:AdaLicense:GPL-3.0Stargazers:277Issues:21Issues:731

setup-ocaml

GitHub Action for the OCaml programming language

Language:TypeScriptLicense:MITStargazers:196Issues:9Issues:132

certbot-plugin-gandi

Certbot plugin for authentication using Gandi LiveDNS

Language:PythonLicense:MITStargazers:195Issues:9Issues:33

C11parser

A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

Language:OCamlLicense:NOASSERTIONStargazers:188Issues:13Issues:17

libadalang

Ada semantic analysis library.

Language:AdaLicense:NOASSERTIONStargazers:145Issues:39Issues:138
Language:LogosLicense:NOASSERTIONStargazers:138Issues:322Issues:0

langkit

Language creation framework.

Language:PythonLicense:NOASSERTIONStargazers:78Issues:32Issues:29

metalibm

Code generation tool to generate mathematical libraries

Language:PythonLicense:NOASSERTIONStargazers:52Issues:10Issues:79

clerical

Command-like expressions for real infinite-precision calculations

Language:OCamlLicense:MITStargazers:22Issues:7Issues:0

pouetpouet-board

DIY ortholinear keyboard with pure Rust or Ada firmware

Language:RustLicense:MITStargazers:22Issues:2Issues:0
Language:RustLicense:MITStargazers:2Issues:2Issues:0

axf

Approximation eXchange Format, generic file format to import / export mathematical function approximations