Posts

  • Sep 23, 2025

    vscode-lean4

    Visual Studio Code extension for the Lean 4 proof assistant

    This extension provides VS Code support for the Lean 4 theorem prover and programming language.

    Tags: #typescript • vscode • lean

  • Sep 23, 2025

    bluing

    An intelligence gathering tool for hacking Bluetooth

    Bluing partially depend on BlueZ, the official Linux Bluetooth protocol stack. So it only supports running on Linux. The following command is used to install dependencies:

    sudo apt install python3-pip python3-dev libcairo2-dev libgirepository1.0-dev \
                 libbluetooth-dev libdbus-1-dev bluez-tools python3-cairo-dev \
                 rfkill meson patchelf bluez ubertooth adb python-is-python3

    Currently, bluing is distributed via PyPI and only supports Python 3.10. The following is an installation command:

    sudo pip3.10 install bluing

    Tags: #python • bluetooth • scanner

  • Sep 22, 2025

    engine

    mirror of https://gitlab.com/minds/engine

    Documentation for Minds can be found at developers.minds.com

    Tags: #php • cassandra • docker

  • Sep 22, 2025

    parsedown-extra

    Markdown Extra Extension for Parsedown

    An extension of Parsedown that adds support for Markdown Extra.

    See Demo

    Tags: #php

  • Sep 22, 2025

    ddd

    Domain Driven Design PHP helper classes

    There are some projects developed using carlosbuenosvinos/ddd library. Check some of them to see how to use it:

    • Last Wishes: Actions to run, such as tweet, send emails, etc. in case anything happen to you.

    Tags: #php

  • Sep 21, 2025

    node-vault

    🔐 Modern client for the HashiCorp’s Vault API

    • Simple API
    • Typesafe and Validated Requests from Zod
    • Extendable using Custom Commands

    Tags: #typescript • vault • client

  • Sep 21, 2025

    Deep Learning on Flink aims to integrate Flink and deep learning frameworks (e.g. TensorFlow, PyTorch, etc.) to enable distributed deep learning training and inference on a Flink cluster.

    It runs the deep learning tasks inside a Flink operator so that Flink can help establish a distributed environment, manage the resource, read/write the data with the rich connectors in Flink and handle the failures.

    Currently, Deep Learning on Flink supports TensorFlow.

    Tags: #java • flink • tensorflow

  • Sep 21, 2025

    aurelia

    Aurelia 2, a standards-based, front-end framework designed for high-performing, ambitious applications.

    This is the Aurelia 2 monorepo, containing core and plugin packages, examples, benchmarks, and documentation for the upcoming major version of everybody’s favorite modern JavaScript framework, Aurelia.

    Tags: #typescript • aurelia • javascript

  • Sep 20, 2025

    Generamba

    This codegenerator is too brilliant to be real!

    • Supports work with .xcodeproj files out of the box. All generated class files are automatically placed to specific folders and groups of Xcode project.
    • Can generate both code itself and tests adding them to right targets.
    • Based on work with liquid-templates that have plain and readable syntax in comparison with templates for Xcode.
    • It is very easy to create a new module: generamba gen [MODULE_NAME] [TEMPLATE_NAME]. You do not need to input a bunch of data each time because each project corresponds to only one configuration file that holds standard file system and Xcode-project pathes, names of targets, information about the author.

    Tags: #ruby

  • Sep 20, 2025

    AndroidScrollingImageView

    An Android view for displaying repeated continuous side scrolling images. This can be used to create a parallax animation effect.

    An Android view for displaying repeated continuous side scrolling images. This can be used to create a parallax animation effect.

    Tags: #java

subscribe via RSS