Giters
Jaime Arias Almeida (himito)

himito

Geek Repo

55

followers

137

following

1k

stars

Company:CNRS

Location:France

Home Page:https://www.jaime-arias.fr

Github PK Tool:Github PK Tool

Organizations
ossia

Jaime Arias Almeida's repositories

tccMChecker

Python implementation for the tcc model checking

Language:PythonLicense:GPL-2.0Stargazers:2Issues:2Issues:0

is2uppaal

Tool to translate an interactive scenario written in i-score into its UPPAAL model.

Language:SystemVerilogStargazers:1Issues:2Issues:0

laravel-mailman

Laravel API for Mailman 3

Language:PHPLicense:GPL-3.0Stargazers:1Issues:2Issues:1

reactiveIS

Reactive programming language for writing and executing interactive multimedia scenarios

Language:OCamlLicense:GPL-2.0Stargazers:1Issues:2Issues:0

symon

A symbolic model checker for the NTCC calculus

Language:OCamlLicense:GPL-2.0Stargazers:0Issues:2Issues:0

awesome-algorithms

A curated list of awesome places to learn and/or practice algorithms.

Stargazers:0Issues:2Issues:0

awesome-python

A curated list of awesome Python frameworks, libraries, software and resources

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

awesome-python-books

:books: Directory of Python books

License:NOASSERTIONStargazers:0Issues:2Issues:0

beamer_template

Beamer template that I use for my presentations

Language:TeXStargazers:0Issues:2Issues:0

BuDDy

BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files

Language:CStargazers:0Issues:2Issues:0

DevConf-Theme

DevConf - Free Bootstrap Conference Template For Tech Conferences and Events

Stargazers:0Issues:0Issues:0

docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

Factor-Oracle

Language:C++Stargazers:0Issues:1Issues:0

from-python-to-numpy

An open-access book on numpy vectorization techniques, Nicolas P. Rougier, 2017

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

GestionDesPrets

Stargazers:0Issues:0Issues:0

himito.github.io

My personal website

Language:SCSSStargazers:0Issues:2Issues:0

ldapts

LDAP client written in typescript

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

mlgmp

An interface between OCaml and GMP (multiprecision library)

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

MovieRatingApp

Language:JavaScriptStargazers:0Issues:1Issues:0

NModel

A branch of NModel from http://nmodel.codeplex.com.

Language:C#License:NOASSERTIONStargazers:0Issues:0Issues:0

online-judge-solutions

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

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:0Issues:0

pelican-bibtex

pelican-bibtex: Manage your academic publications page with Pelican and BibTeX

Language:PythonLicense:UnlicenseStargazers:0Issues:2Issues:0

ReactiveSessions

This repository will contain the first prototype for the implementation of the ReactiveSessions library.

Language:MakefileStargazers:0Issues:2Issues:0

ritmos

Interpreter for interactive scenarios implemented in ReactiveML that provides a graphical real-time feedback

Language:Pure DataLicense:GPL-2.0Stargazers:0Issues:2Issues:0

scipy_proceedings

Tools used to generate the SciPy conference proceedings

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

solidity2cpn

Language:C++Stargazers:0Issues:1Issues:0

sylvan

Implementation of multi-core (binary) decision diagrams

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

vscode-IMITATOR

IMITATOR language support for VS code

Stargazers:0Issues:0Issues:0

vscode-rml

ReactiveML Language Support for Visual Studio Code

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:2Issues:0