javiergarea

javiergarea's Stars

• bramucas/xclingo2

  A tool for explainability and debugging in Answer Set Programming.

  Language:Python135

• OpenRiak/riak

  Riak is a decentralized datastore from Basho Technologies.

  Language:Shell106

• apache/airflow

  Apache Airflow - A platform to programmatically author, schedule, and monitor workflows

  Language:Python37.4k14.4k

• rust-lang/chalk

  An implementation and definition of the Rust trait system using a PROLOG-like logic solver

  Language:Rust1.8k182

• ergo-services/ergo

  An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.

  Language:Go3.7k143

• williamthome/doctest

  A library to test Erlang documentation

  Language:Erlang71

• marromlam/phd-thesis-complete

  Language:TeX1

• carjorvaz/macos-us-altgr-intl

  US altgr-intl from Linux on macOS

  316

• typst/pdf-writer

  A step-by-step PDF writer.

  Language:Rust49227

• emqx/emqx

  The most scalable open-source MQTT broker for IoT, IIoT, and connected vehicles

  Language:Erlang14.2k2.2k

• pikvm/pikvm

  Open and inexpensive DIY IP-KVM based on Raspberry Pi

  8.3k456

• Permify/permify

  An open-source authorization as a service inspired by Google Zanzibar, designed to build and manage fine-grained and scalable authorization systems for any application.

  Language:Go5k225

• grafana/alloy

  OpenTelemetry Collector distribution with programmable pipelines

  Language:Go1.5k219

• norwoodj/helm-docs

  A tool for automatically generating markdown documentation for helm charts

  Language:Go1.4k188

• charmbracelet/glow

  Render markdown on the CLI, with pizzazz! 💅🏻

  Language:Go16.4k367

• squidfunk/mkdocs-material

  Documentation that simply works

  Language:HTML21.2k3.6k

• backstage/backstage

  Backstage is an open framework for building developer portals

  Language:TypeScript28.6k6.1k

• LocalCharts/silviculture

  Language:JavaScript151

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.4k1.5k

• proger/eflame

  Flame Graph profiler for Erlang

  Language:Perl42685

• eliahuhorwitz/Academic-project-page-template

  A project page template for academic papers. Demo at https://eliahuhorwitz.github.io/Academic-project-page-template/

  Language:JavaScript2.2k333

• toggl/holidefs

  Definition-based national holidays in Elixir

  Language:Elixir2819

• ventoy/Ventoy

  A new bootable USB solution.

  Language:C63.2k4.1k

• marromlam/compostela-thesis

  LaTeX theme for a thesis using a classic style

  Language:TeX11

• mracos/asdf-swiprolog

  SWI-Prolog plugin for the asdf version manager

  Language:Shell102

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell5.8k271

• localsend/localsend

  An open-source cross-platform alternative to AirDrop

  Language:Dart53.5k2.9k

• tomdjong/MGS-domain-theory

  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023

  Language:TeX445

• marianna-girlando/project_MoL_2023

  Slides and exercises for the MoL project course Proof theory for modal and non-classical logics

  1

• marianna-girlando/prooftheory-mgs2022

  11