bordaigorl

bordaigorl's Stars

• mermaid-js/mermaid

  Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

  Language:JavaScript71.1k6383k6.4k

• facebookarchive/prepack

  A JavaScript bundle optimizer.

  Language:JavaScript14.2k263769425

• rabbitmq/rabbitmq-server

  Open source RabbitMQ: core server and tier 1 (built-in) plugins

  Language:JavaScript12.1k3842.3k3.9k

• rawgraphs/rawgraphs-app

  A web interface to create custom vector-based visualizations on top of RAWGraphs core

  Language:JavaScript8.7k3233041.8k

• veltman/flubber

  Tools for smoother shape animations.

  Language:JavaScript6.6k8029170

• matze/mtheme

  A modern LaTeX Beamer theme

  Language:TeX6.4k129276841

• laurent22/rsync-time-backup

  Time Machine style backup with rsync.

  Language:Shell3.4k106169447

• sublimehq/Packages

  Syntax highlighting files shipped with Sublime Text and Sublime Merge

  Language:Java2.9k1071.6k587

• vorillaz/devicons

  Devicons - An iconic font made for developers

  Language:CSS2.7k47124196

• haskell/haskell-ide-engine

  The engine for haskell ide-integration. Not an IDE

  Language:Haskell2.4k89967211

• crista/exercises-in-programming-style

  Comprehensive collection of programming styles using a simple computational task, term frequency

  Language:Python2k8814553

• latex3/latex2e

  The LaTeX2e kernel

  Language:TeX1.9k64888263

• d3/d3-force

  Force-directed graph layout using velocity Verlet integration.

  Language:JavaScript1.8k43156374

• clojure/core.typed

  An optional type system for Clojure

  Language:Clojure1.3k80076

• facebook/SPARTA

  SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

  Language:C++62026450

• xyz2tex/svg2tikz

  An Inkscape extension for exporting SVG paths as TikZ/PGF paths

  Language:Python5862011391

• htcat/htcat

  Parallel and Pipelined HTTP GET Utility

  Language:Go555171128

• Merovius/srvfb

  Stream a framebuffer device over HTTP

  Language:Go240112120

• peerdavid/remapy

  An open source explorer for your remarkable tablet to show, upload or delete files via the remarkable cloud.

  Language:Python17464619

• riak-core-lite/riak_core_lite

  Distributed systems infrastructure used by Riak.

  Language:Erlang80136313

• gerardbm/atomic

  Color scheme for multiple code editors and terminals

  Language:Python79919

• Evidlo/remarkable_pdflets

  mini apps for reMarkable inside xochitl

  Language:Shell78669

• acieroid/scala-am

  (Abstract) Abstract Machine Experiments using Scala

  Language:Scheme3441510

• timmyw/pocket2rm

  Sync Pocket to Remarkable

  Language:Go172

• rprimus/plists

  Fork: Drop in replacement for Erlang module lists, where most lists operations are parallel.

  Language:Erlang153010

• dixonary/button-capture-reMarkable

  A simple program to capture gpio button input on the reMarkable.

  Language:C++11432

• blondimi/qcover

  QCover: an efficient coverability verifier for discrete and continuous Petri nets

  Language:Python66

• Wolff09/RocketScience

  State-of-the-Art Model Checker for Sequential Recursive Integer Programs.

  Language:C3200

• auino/europasscv-template

  Unofficial LaTeX class for European curricula 2013

  Language:TeX21

• ramsdell/cpsa

  Cryptographic Protocol Shapes Analyzer (CPSA)

  Language:Scilab1300