ayaye

ayaye's Stars

• mbrbug/mbr-docker-sopds

  Language:HTML1

• devbis/z03mmc

  Xiaomi LYWSD03MMC Zigbee Firmware

  Language:C85543

• CadQuery/cadquery

  A python parametric CAD scripting framework based on OCCT

  Language:Python3k284

• evildmp/diataxis-documentation-framework

  A systematic approach to creating better documentation.

  Language:HTML840157

• meraymond2/idris-vscode

  Idris front-end for VS Code

  Language:TypeScript5810

• rpeszek/IdrisTddNotes

  Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell

  Language:Haskell475

• entangled/entangled

  bi-directional tangle daemon for literate programming

  Language:Haskell8314

• bashup/mdsh

  Multi-lingual, Markdown-based Literate Programming... in run-anywhere bash

  Language:Shell17315

• basherpm/basher

  A package manager for shell scripts.

  Language:Shell1.1k74

• nushell/nushell

  A new type of shell

  Language:Rust31.5k1.6k

• stefan-hoeck/idris2-pack

  Language:Idris9424

• buzden/deptycheck

  Facilities for generating dependently-typed data

  Language:Idris205

• angristan/openvpn-install

  Set up your own OpenVPN server on Debian, Ubuntu, Fedora, CentOS or Arch Linux.

  Language:Shell13.3k2.9k

• larsks/undocker

  Language:Python30454

• zhovner/Y900-Beeline-improve

  Y900NB Beeline improvements

  Language:JavaScript36

• mgth/LittleBigMouse

  DPI Aware mouse move across screens

  Language:C#3.6k179

• mirmik/zencad

  CAD system for righteous zen programmers

  Language:Python13312

• bi-zone/ruwireguard-spec

  Ru-WireGuard: WireGuard protocol with GOST crypto algorithms

  252

• idank/bashlex

  Python parser for bash

  Language:Python54794

• idank/explainshell

  match command-line arguments to their help text

  Language:Python13.1k780

• elfmz/far2l

  Linux port of FAR v2

  Language:C++1.8k171

• mitshel/sopds

  Simple opds catalog

  Language:Python21180

• textX/textX

  Domain-Specific Languages and parsers in Python made easy http://textx.github.io/textX/

  Language:Python77278

• zerg000000/gshit

  An easy-to-use DSL for Excel report

  Language:Groovy4

• ilyakooo0/isoparsec

  🚧 Under construction 🚧 🔄🔡 Isomorphic (invertible) parser library

  Language:Haskell3

• neoclide/coc.nvim

  Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

  Language:TypeScript24.3k955

• sndirsch/ingress-ice

  Language:JavaScript1711

• makotokw/redmine_render_markdown_in_repository

  Redmine Render Markdown in Repository

  Language:Ruby116

• MicroHealthLLC/recaptcha

  update to support redmine 3.2 x. also adds support for captcha on login page in addition to registration

  Language:HTML11

• panicinc/recaptcha

  update to support redmine 3.2 x. also adds support for captcha on login page in addition to registration

  Language:HTML42