Hermès BÉLUSCA - MAÏTO (HBelusca)

HBelusca

Geek Repo

Company:Faculty of Science, Zagreb University

Location:Zagreb, Croatia

Home Page:https://www.linkedin.com/in/hermès-bélusca-maïto-518a1b8a

Github PK Tool:Github PK Tool

Hermès BÉLUSCA - MAÏTO's repositories

CamlCAS

Symbolix Caml-CAS : A small computer algebra system in CaML

Language:OCamlStargazers:1Issues:2Issues:0

DES-Crypto-CaML

CaML program that performs simple DES encryption of text or images.

Language:OCamlStargazers:0Issues:0Issues:0

c99-to-c89

Tool to convert C99 code to MSVC-compatible C89

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

CANONICA

Transformation of multi-loop Feynman integrals to a canonical basis

Language:MathematicaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

dev86

C compiler, assembler and linker environment for the production of 8086 executables

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

feyncalcformlink

FeynCalcFormLink is a Mathematica package to link FeynCalc with FORM.

Language:MathematicaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Font-Validator

Font Validator is a tool for testing fonts prior to release. This testing ensures that fonts meet Microsoft's high quality standards and perform exceptionally well on Microsoft's platform.

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

gow

Unix command line utilities installer for Windows.

Language:NSISStargazers:0Issues:0Issues:0

gummiboot

Simple UEFI boot manager

License:LGPL-2.1Stargazers:0Issues:0Issues:0

GVFS

Git Virtual File System: Git at Enterprise Scale

Language:C#License:MITStargazers:0Issues:0Issues:0

IRTriageCMD

Fork of ReactOS (Cmd.exe), IRTriage Command Line Interpreter

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

master_cpp_teaching

C++ lectures of Master 1 of Fundamental Physics of the University of Paris-Sud

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

microsoft-pdb

Information from Microsoft about the PDB format. We'll try to keep this up to date. Just trying to help the CLANG/LLVM community get onto Windows.

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

mintty

The Cygwin Terminal – terminal emulator for Cygwin, MSYS, and WSL

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

NewConsole

Simple console replacement for Windows

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

ngdbg

Automatically exported from code.google.com/p/ngdbg

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

os

Minoca operating system

Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

ponyos

My Little Unix: Kernels are Magic!

Language:PonyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

PSReadLine

A bash inspired readline implementation for PowerShell

Language:C#Stargazers:0Issues:0Issues:0

sanos

Sanos operating system kernel

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

ShellcodeOS

ShellcodeOS

Stargazers:0Issues:0Issues:0

TestApi

TestApi is a library of test and utility APIs that enables developers and testers to create testing tools and automated tests for .NET and Win32 applications. TestApi provides a set of common test building blocks -- types, data-structures and algorithms -- in a simple, layered, componentized and documented stack.

Language:C#Stargazers:0Issues:0Issues:0

uf2-samd21

MSC bootloader (based on UF2) for SAMD21

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

vcc

A static verifier for concurrent C programs

Language:C#License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:C#License:GPL-2.0Stargazers:0Issues:0Issues:0

win32-console-docs

Win32 Console Documentation -- in particular, console/standard handles and CreateProcess inheritance

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

Win32-OpenSSH

Win32 port of OpenSSH

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

WindowsKernelPhilosophy

Windows内核设计**

Stargazers:0Issues:0Issues:0

wolfram_smp

Stephen Wolfram SMP decryption effort

Stargazers:0Issues:0Issues:0