Giters
Louis Etienne (louis-etne)

louis-etne

Geek Repo

15

followers

14

following

138

stars

Location:Paris

Home Page:https://louis-etienne.fr

Github PK Tool:Github PK Tool

Louis Etienne's starred repositories

ladybird

Truly independent web browser

Language:C++License:BSD-2-ClauseStargazers:18306Issues:0Issues:0

florist

Language:AdaLicense:GPL-2.0Stargazers:5Issues:0Issues:0

keepalived

Keepalived

Language:CLicense:GPL-2.0Stargazers:3929Issues:0Issues:0

memos

An open source, lightweight note-taking service. Easily capture and share your great thoughts.

Language:GoLicense:MITStargazers:29574Issues:0Issues:0

SmallerC

Simple C compiler

Language:CLicense:BSD-2-ClauseStargazers:1376Issues:0Issues:0

adamant

A model-based flight software framework for Ada

Language:AdaLicense:Apache-2.0Stargazers:31Issues:0Issues:0

ocarina

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

Language:AdaLicense:NOASSERTIONStargazers:63Issues:0Issues:0

gf

A GDB frontend for Linux.

Language:Objective-CLicense:MITStargazers:1692Issues:0Issues:0

BBS-Ada-Widgets

A collection of Gtk widgets written in Ada for use with Gtkada

Language:AdaLicense:GPL-3.0Stargazers:7Issues:0Issues:0

gnatstudio

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Language:AdaStargazers:397Issues:0Issues:0

onnx_runtime

Ada binding to ONNX runtime

Language:AdaLicense:MITStargazers:8Issues:0Issues:0

snort3

Snort++

Language:C++License:NOASSERTIONStargazers:2450Issues:0Issues:0

CuBit

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

Language:AdaLicense:GPL-3.0Stargazers:77Issues:0Issues:0

Ada-IntelliJ

Support for Ada and SPARK languages in IntelliJ IDEA

Language:JavaLicense:Apache-2.0Stargazers:21Issues:0Issues:0

cubedos

A flight software framework in SPARK/Ada

Language:AdaStargazers:48Issues:0Issues:0

ImHex

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Language:C++License:GPL-2.0Stargazers:42411Issues:0Issues:0

ansi_markup

A header only C++ library for terminal markup.

Language:C++License:MITStargazers:2Issues:0Issues:0

duelyst

Duelyst is a digital collectible card game and turn-based strategy hybrid, developed by Counterplay Games.

Language:JavaScriptLicense:CC0-1.0Stargazers:3613Issues:0Issues:0

yass

Yet Another Static Site (Generator)

Language:AdaLicense:GPL-3.0Stargazers:23Issues:0Issues:0

sdlada

Ada 2022 bindings to SDL 2

Language:AdaLicense:ZlibStargazers:114Issues:0Issues:0

xournalpp

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.

Language:C++License:GPL-2.0Stargazers:10762Issues:0Issues:0

VulkanAda

An attempt at creating a binding to the Vulkan Library for the Ada Programming Language

Language:AdaLicense:MITStargazers:2Issues:0Issues:0

click

Ada crate to build firmware for mechanical keyboard

Language:AdaLicense:MITStargazers:2Issues:0Issues:0

Sim-CPU

CPU Simulations written in Ada

Language:AdaLicense:GPL-3.0Stargazers:8Issues:0Issues:0

ripgrep

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

Language:RustLicense:UnlicenseStargazers:47116Issues:0Issues:0

cup

simple, C-like compiled programming language

Language:RustLicense:MITStargazers:295Issues:0Issues:0

gnatcoll-core

GNAT Components Collection – Core packages

Language:AdaLicense:NOASSERTIONStargazers:44Issues:0Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:2220Issues:0Issues:0

githublog

I'm sick of complex blogging solutions, so markdown files in a git repo it is

Language:TypeScriptStargazers:596Issues:0Issues:0

herbie

Optimize floating-point expressions for accuracy

Language:HTMLLicense:NOASSERTIONStargazers:757Issues:0Issues:0