mmenapace

mmenapace's Stars

• fadeoutsoftware/WASDI

  Web Advanced Space Developers Interface

  Language:Java135

• gaogaotiantian/viztracer

  VizTracer is a low-overhead logging/debugging/profiling tool that can trace and visualize your python code execution.

  Language:Python4.8k361

• janestreet/magic-trace

  magic-trace collects and displays high-resolution traces of what a process is doing

  Language:OCaml4.6k84

• WinMerge/winmerge

  WinMerge is an Open Source differencing and merging tool for Windows. WinMerge can compare both folders and files, presenting differences in a visual text format that is easy to understand and handle.

  Language:C++6.3k787

• AvalZ/regrets

  Use Z3 to generate strings that match multiple regex | "The plural of regex is regrets"

  Language:Python24

• frnmjn/my-k8s-app

  Language:JavaScript1

• alefragnani/vscode-numbered-bookmarks

  Numbered Bookmarks Extension for Visual Studio Code

  Language:TypeScript14523

• sphinx-contrib/youtube

  A Sphinx extension to embed videos from YouTube

  Language:Python5238

• webpack-contrib/terser-webpack-plugin

  Terser Plugin

  Language:JavaScript1.9k158

• Open-EO/openeo-api

  The openEO API specification

  9111

• AvalZ/awesome-italia-remote

  A list of remote-friendly or full-remote companies that targets Italian talents.

  Language:Go1

• mdipierro/no.css

  Tiny CSS framework with almost no classes and some pure CSS effects

  Language:CSS998

• vvo/javascript-library-template

  JavaScript library template to focus on ⌨️ coding, 🙌 collaborating and 🚀 shipping

  Language:JavaScript838

• alefragnani/vscode-bookmarks

  Bookmarks Extension for Visual Studio Code

  Language:TypeScript1.7k163

• friguzzi/quantum_counting

  Language:Jupyter Notebook1

• readthedocs/readthedocs.org

  The source code that powers readthedocs.org

  Language:Python8k3.6k

• ConsortiumGARR/idem-tutorials

  Simple step-by-step tutorials provided by IDEM GARR AAI

  Language:Python10987

• angular/angular

  Deliver web apps with confidence 🚀

  Language:TypeScript95.6k25.2k

• HTBox/allReady

  This repo contains the code for allReady, an open-source solution focused on increasing awareness, efficiency and impact of preparedness campaigns as they are delivered by humanitarian and disaster response organizations in local communities.

  Language:C#891627

• hemanth/generator-pwa

  Yeoman generator for a progressive webapp.

  Language:JavaScript5114

• wbstr/vaadin-recaptcha

  ReCaptcha Vaadin Add-on

  Language:Java511

• ptal/AbSolute

  Constraint solver based on abstract interpretation

  Language:OCaml102

• jacamo-lang/jacamo

  This project aims to promote the MultiAgent Oriented Programming (MAOP) approach by providing a suitable integration of tools and languages for programming agents, their environment and organisation.

  Language:Java7532

• jacamo-lang/jacamo-web

  web interface for JaCaMo

  Language:JavaScript76

• coreb1t/awesome-pentest-cheat-sheets

  Collection of the cheat sheets useful for pentesting

  3.8k761

• coursier/coursier

  Pure Scala Artifact Fetching

  Language:Scala2k303

• friguzzi/cplint

  cplint is a suite of programs for reasoning with probabilistic logic programs

  Language:Prolog6714

• ibrierley/snaptoolkit

  A toolkit of stuff relating to Snap.svg

  Language:JavaScript112

• github/gitignore

  A collection of useful .gitignore templates

  161k83.2k

• jenetics/jenetics

  Jenetics - Genetic Algorithm, Genetic Programming, Grammatical Evolution, Evolutionary Algorithm, and Multi-objective Optimization

  Language:Java843151