Florian Gilcher (skade)

skade

Geek Repo

Company:Ferrous Systems

Location:Berlin

Home Page:https://ferrous-systems.com

Twitter:@argorak

Github PK Tool:Github PK Tool


Organizations
Asquera
berlinrs
BerlinVagrant
eurucamp
RustFestEU

Florian Gilcher's repositories

sl-rust

sl(1). In Rust.

Language:RustLicense:NOASSERTIONStargazers:25Issues:3Issues:0

ffi-opaque

A simple macro to create correct opaque pointers

Language:RustLicense:MITStargazers:17Issues:3Issues:4
Language:HTMLStargazers:8Issues:2Issues:0

aoc2021

My Advent of Code 2021 solutions

Language:AdaStargazers:1Issues:3Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

arc42.org-site

(jekyll-based) website for arc42.org - the template for communicating software architectures.

Language:HTMLLicense:MITStargazers:0Issues:1Issues:0

bbqueue-spark

An Ada implementation of James Munns' BBQueue

Language:AdaLicense:MITStargazers:0Issues:1Issues:0

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

Language:RustLicense:LGPL-2.1Stargazers:0Issues:1Issues:0

divan-example

Small example for divan

Language:RustStargazers:0Issues:2Issues:0

ferrocene

Source code of Ferrocene, safety-critical Rust toolchain

License:NOASSERTIONStargazers:0Issues:0Issues:0

helios

Helios: Or, a Vision in a Dream. A Fragment.

Language:RustLicense:MPL-2.0Stargazers:0Issues:0Issues:0

lab-notebook

James' public Labratory Notebook

License:CC-BY-SA-4.0Stargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:2Issues:0

matklad.github.io

My coding related blog

Language:CSSLicense:Apache-2.0Stargazers:0Issues:1Issues:0

nomicon

The Dark Arts of Advanced and Unsafe Rust Programming

License:Apache-2.0Stargazers:0Issues:1Issues:0

openCAS

Horizontal and vertical CAS implementation based on stanford Neuronal Network approach, written in bare-metal Rust.

License:Apache-2.0Stargazers:0Issues:0Issues:0

painter

Library and tools for managing ecosystem wide call graphs and llvm-ir analysis

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

php-introduction

A quick introduction into PHP web development

Language:PHPStargazers:0Issues:3Issues:0

plotters

A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀

License:MITStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

ProjectLockdown

Project Lockdown (an initiative from The IO Foundation) is a civic tech, interactive platform providing an overview of the state of Human and Digital Rights around the globe. It evaluates policies obtained from official sources that may impact their observance. It provides, among other tools, a layered map interface that allows for a visual representation of the policies adopted, assisting a broad range of stakeholders in understanding the global state of their Rights. This empowers them to become active agents of global change.

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:1Issues:0

quadratik

Free and open source software for easy self-hosted quadratic funding!

Language:JavaScriptLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

rfcs

RFCs for changes to Rust

Stargazers:0Issues:2Issues:0

team

Rust teams structure

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

this-week-in-rust

Data for this-week-in-rust.org

Language:HTMLStargazers:0Issues:2Issues:0

threadx

Azure RTOS ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

website-1

Riker.rs website

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0