thierrymarianne Goto Github PK
Name: Th. Ma.
Type: User
Location: Greater Paris Metropolitan Area
Th. Ma.'s Projects
attending-forum-php-2018
Visualization material of Twitter statuses published during the ForumPHP 2018
attending-fosdem-2014
Article about FOSDEM 2014
attending-sommet-altruisme-re
Quelques notes prises durant le sommet de l'altruisme
contrib-afup-back-office
V2 of Afup back-office
contrib-antlr-grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
contrib-antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
contrib-awesome-twitter-communities
A list of awesome twitter communities
contrib-blueman
Blueman is a GTK+ Bluetooth Manager
contrib-ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
contrib-ciao-emacs
Ciao mode for Emacs
contrib-ciaopp
The Ciao Preprocessor
contrib-dmi-tcat
Digital Methods Initiative - Twitter Capture and Analysis Toolset
contrib-dmi-tcat-devel
Fork of the Digital Methods Initiative Twitter Capture and Analysis Toolset (DMI-TCAT)
contrib-doctrine-extensions
Cross database doctrine DQL functions for MySQL and PostgreSQL.
contrib-dot-files
Organizing my dot files so that they just fit in any of my working environments (linux / osx)
contrib-eagle-mode
Tracking github.com/Osndok/eaglemode, tracking official source releases from the Eagle Mode ZUI cathedral-model project on SourceForge itself; Upstream noting accept patches, and neither can those downstream projects; feel free to fork and change them, but please alter your derivative project's name! GPLv3
contrib-known
A social publishing platform.
contrib-known-comic
Comic plugin for Known
contrib-known-twitter
Twitter plugin for Known
contrib-known-user-agent
Adding user agent header to known web service calls
contrib-ledger-project-eu-home
Start here to get info about all the projects and the teams
contrib-ledger-project-eu-inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
contrib-ledger-project-eu-klee
KLEE Symbolic Execution Engine
contrib-ledger-project-eu-rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
contrib-ledger-project-eu-safepkt
Research paper On The Termination of Borrow Checking for Rust and a web application, CLI application and VSCode extension for running static analysis of rust-based smart contracts with a ready-to-be-verified project example.
contrib-ledger-project-eu-safepkt-arrayvec
A vector with a fixed capacity. (Rust)
contrib-ledger-project-eu-safepkt-assert
Assertions and assumptions for SafePKT annotated contracts
contrib-ledger-project-eu-safepkt-backend
CLI and HTTP application for running static analysis of rust-based smart contracts
contrib-ledger-project-eu-safepkt-cli
Command line client for SafePKT backend
contrib-ledger-project-eu-safepkt-frontend
Frontend application for running static analysis of rust-based programs
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.