Giters
William J. Franck (captain-haddock17)

captain-haddock17

Geek Repo

4

followers

25

following

32

stars

Company:STERNA MARINE

Location:La Rochelle, France

Home Page:https://www.sterna.io

Twitter:@WilliamJFranck2

Github PK Tool:Github PK Tool

William J. Franck's starred repositories

poudriere

Port/Package build and test system

Language:ShellLicense:BSD-2-ClauseStargazers:375Issues:0Issues:0

AdaUI_experiment

Exploring how to implement in Ada the View-Model paradigm of Apple’s SwiftUI Windowing system

Language:AdaLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

UXStrings

Ada Unicode Extended Strings

Language:AdaStargazers:11Issues:0Issues:0

VSS

High level string and text processing library

Language:AdaLicense:NOASSERTIONStargazers:49Issues:0Issues:0

awesome-ada

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

License:CC0-1.0Stargazers:590Issues:0Issues:0

AOC

Advent of Code

Language:SwiftStargazers:49Issues:0Issues:0

AdventOfCode

My solutions for Advent of Code puzzles, written in Swift

Language:SwiftStargazers:32Issues:0Issues:0

Advent_of_Code_2021

Some Ada source code proposals for the puzzles of the `Advent of Code` contest

Language:AdaLicense:NOASSERTIONStargazers:3Issues:0Issues:0

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Language:PythonLicense:NOASSERTIONStargazers:78513Issues:0Issues:0

openzfs

OpenZFS on Linux and FreeBSD, and, macOS. This is where development for macOS happens.

Language:CLicense:NOASSERTIONStargazers:139Issues:0Issues:0

advent_of_code_2020

Contribute solutions to Advent of Code and be inspired by others

Language:C++Stargazers:28Issues:0Issues:0

sourcekit-lsp

Language Server Protocol implementation for Swift and C-based languages

Language:SwiftLicense:Apache-2.0Stargazers:3134Issues:0Issues:0

sphinx

The Sphinx documentation generator

Language:PythonLicense:NOASSERTIONStargazers:6087Issues:0Issues:0

pygments

Pygments is a generic syntax highlighter written in Python

Language:PythonLicense:BSD-2-ClauseStargazers:1716Issues:0Issues:0

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

Language:ANTLRLicense:MITStargazers:9833Issues:0Issues:0

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Language:JavaLicense:BSD-3-ClauseStargazers:16476Issues:0Issues:0

ada_antlr_grammar

ANTLR grammars for Ada

Language:GAPStargazers:6Issues:0Issues:0

spl

Solaris Porting Layer for OpenZFS on OS X

Language:CLicense:NOASSERTIONStargazers:115Issues:0Issues:0

AMD_Vanilla

Native AMD macOS via OpenCore

Stargazers:2835Issues:0Issues:0

OpenCorePkg

OpenCore bootloader

Language:CLicense:BSD-3-ClauseStargazers:12829Issues:0Issues:0

lipika-ime

Input Method Engine (IME) for Mac OS X with built-in support for all Indic Languages

Language:SwiftLicense:GPL-3.0Stargazers:110Issues:0Issues:0

aws

AWS is a complete framework to develop Web based applications in Ada.

Language:AdaLicense:NOASSERTIONStargazers:126Issues:0Issues:0

gnatstudio

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

Language:AdaStargazers:381Issues:0Issues:0

zfs

OpenZFS on Linux and FreeBSD

Language:CLicense:NOASSERTIONStargazers:10175Issues:0Issues:0

swift-package-manager

The Package Manager for the Swift Programming Language

Language:SwiftLicense:Apache-2.0Stargazers:9603Issues:0Issues:0

swift

The Swift Programming Language

Language:C++License:Apache-2.0Stargazers:66086Issues:0Issues:0

gprbuild

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.

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

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

Language:AdaLicense:NOASSERTIONStargazers:61Issues:0Issues:0

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

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

gnat-llvm

LLVM based GNAT compiler

Language:AdaStargazers:177Issues:0Issues:0