izimbra

izimbra's Stars

• shap/shap

  A game theoretic approach to explain the output of any machine learning model.

  Language:Jupyter Notebook22.8k2442.5k3.3k

• chewiebug/GCViewer

  Fork of tagtraum industries' GCViewer. Tagtraum stopped development in 2008, I aim to improve support for Sun's / Oracle's java 1.6+ garbage collector logs (including G1 collector)

  Language:Java4.5k269176978

• christopheradams/elixir_style_guide

  A community driven style guide for Elixir

  Language:Elixir4.4k11782300

• system-f/fp-course

  Functional Programming Course

  Language:Haskell4.1k1301961.2k

• gnome-pomodoro/gnome-pomodoro

  A time management utility for GNOME based on the pomodoro technique!

  Language:Vala2k71536237

• jgm/djot

  A light markup language

  Language:Emacs Lisp1.7k3019543

• input-output-hk/plutus-pioneer-program

  This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.

  Language:Haskell1.4k15646985

• plfa/plfa.github.io

  An introduction to programming language theory in Agda

  Language:Agda1.4k23257315

• witchcrafters/witchcraft

  Monads and other dark magic for Elixir

  Language:Elixir1.2k315258

• elixir-mongo/mongodb

  MongoDB driver for Elixir

  Language:Elixir57126219156

• eclipse/jifa

  🔬 Online Heap Dump, GC Log, Thread Dump & JFR File Analyzer.

  Language:Java540129396

• dialex/JColor

  An easy syntax to format your strings with colored fonts and backgrounds.

  Language:Java491253854

• julian-alarcon/prospect-mail

  Prospect is an Outlook mail desktop client powered by Electron

  Language:JavaScript4591317766

• elixir-mongo/mongodb_ecto

  MongoDB adapter for Ecto

  Language:Elixir37025144126

• acmsigsoft/EmpiricalStandards

  Tools and standards for conducting and evaluating research in software engineering

  Language:JavaScript293346162

• zookzook/elixir-mongodb-driver

  MongoDB driver for Elixir

  Language:Elixir2451114462

• jason-lang/jason

  Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.

  Language:Java217283967

• thegreystone/jmc-tutorial

  A hands-on-lab/tutorial for learning JDK Mission Control 7+.

  Language:Java2109133

• erlang/docker-erlang-example

  HowTo Erlang in Docker

  Language:Erlang166311035

• masteringapi/rest-api-standards

  An open collection of REST API standards documents

  1324012

• msp-strath/TypOS

  being an operating system for typechecking processes

  Language:Haskell1211752

• Mendeley/mendeley-api-python-example

  Language:Python8039828

• Fmajor/Scrivener-ADS-Latex-Workflow

  A workfolw using Scrivener + Zotero + Highlights + Latex to collect information and write papers

  Language:Rich Text Format35706

• STIXProject/stix-validator

  Validate STIX and CybOX XML documents

  Language:Python26205619

• lkuper/CSE232-2021-09

  A graduate course on distributed systems

  Language:HTML1812142

• base-report/chart-study

  The Chart Study tool, by base.report, is a web-based application for analyzing stock charts.

  Language:Svelte15203

• phollyer/elm-phoenix-websocket

  An Elm 0.19.x package for working with Phoenix WebSockets

  Language:Elm132102

• evanrelf/dotfiles

  My personal dotfiles

  Language:Nix10201

• rober-m/get-pkh

  Website to get your wallet PKH

  Language:HTML5202

• jonathondilworth/cardano-plutus-apps-install-m1

  1000