Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines of code incrementally – providing instantaneous feedback to developers as they write code.

#python, #typechecker, #static, #analysis, #ocaml, #code, #quality, #security

Bevy is a refreshingly simple data-driven game engine built in Rust. It is free and open-source forever!

Design Goals

Capable: Offer a complete 2D and 3D feature set
Simple: Easy for newbies to pick up, but infinitely flexible for power users
Data Focused: Data-oriented architecture using the Entity Component System paradigm
Modular: Use only what you need. Replace what you don't like
Fast: App logic should run quickly, and when possible, in parallel
Productive: Changes should compile quickly ... waiting isn't fun

#rust, #gamedev, #game_engine, #open_source

Storybook is a development environment for UI components. It allows you to browse a component library, view the different states of each component, and interactively develop and test components.

#typescript, #styleguide, #ui, #js, #vue, #react, #polymer, #angular

Sherlock is tool which allows you hunt down social media accounts by username across social networks

#python, #reconnaissance, #cli, #macos, #information

Clash is a rule-based tunnel in Go.

- Local HTTP/HTTPS/SOCKS server with authentication support
- VMess, Shadowsocks, Trojan, Snell protocol support for remote connections
- Built-in DNS server that aims to minimize DNS pollution attack impact, supports DoH/DoT upstream and fake IP.
- Rules based off domains, GEOIP, IP CIDR or ports to forward packets to different nodes
- Remote groups allow users to implement powerful rules. Supports automatic fallback, load balancing or auto select node based off latency
- Remote providers, allowing users to get node lists remotely instead of hardcoding in config
- Netfilter TCP redirecting. Deploy Clash on your Internet gateway with iptables.
Comprehensive HTTP RESTful API controller

#go, #tunnel, #golang

Lila is a free online chess game server focused on realtime gameplay and ease of use.

It features a search engine, computer analysis distributed with fishnet, tournaments, simuls, forums, teams, tactic trainer, a mobile app, and a shared analysis board. The UI is available in more than 130 languages thanks to the community.

#scala, #chess, #game, #server

CoreDNS is a DNS server/forwarder, written in Go, that chains plugins. Each plugin performs a (DNS) function.

CoreDNS is a Cloud Native Computing Foundation graduated project.

CoreDNS is a fast and flexible DNS server. The key word here is flexible: with CoreDNS you are able to do what you want with your DNS data by utilizing plugins. If some functionality is not provided out of the box you can add it by writing a plugin.

CoreDNS can listen for DNS requests coming in over UDP/TCP (go'old DNS), TLS (RFC 7858), also called DoT, DNS over HTTP/2 - DoH - (RFC 8484) and gRPC (not a standard).

#go, #golang, #cnf, #dns, #server, #plugin, #udp, #tcp

Wagtail is an open source content management system built on Django, with a strong community and commercial support. It's focused on user experience, and offers precise control for designers and developers.

#python, #django, #cms

Python libraries to make your code readable, reliable and maintainable

Experienced programmers understand perfectly well that in development they spend most of the time reading code and therefore they treat the process of writing code with the deepest trepidation (and sometimes with fanaticism). To write quality and maintainable code, you need to take the time to write tests and integrate QA tools. There is a whole technique aimed at test-driven development (TDD) and I will not devote this article to the topic of testing as such. Tests are absolutely necessary and there is nothing to discuss. In this article, we are going to talk about tools that help you write quality Python code.

#python, #testing, #libraries, #blog, #QA, #isaak

Functional Programming Jargon

Functional programming (FP) provides many advantages, and its popularity has been increasing as a result. However, each programming paradigm comes with its own unique jargon and FP is no exception. By providing a glossary, this project makes learning FP easier.

#functional, #programming, #jargon, #fp, #glossary, #qa

MinIO is a High Performance Object Storage released under Apache License v2.0. It is API compatible with Amazon S3 cloud storage service. Use MinIO to build high performance infrastructure for machine learning, analytics and application data workloads.

#go, #storage, #k8s, #kubernetes, #s3, #amazon

Substrate is a modular blockchain framework that lets you pick and choose the right components for your application or enterprise.

Features:
- Fast and efficient database
- Modular P2P networking stack in libp2p
- Hot-swappable consensus layer
- Customizable transaction queue management system
- Rich framework for composing runtime logic.
- Mobile light client support

#rust, #blockchain, #node, #client, #parity, #platform

6 Awesome Ways To Present Your Code

At some point, every developer has to present code snippets. This could be for a presentation, or a tweet, or a blog, or just to go through a snippet later in time.

Let's dive into the tools you can use to present your code awesomely.

#article, #code, #snippets, #terminal

delta is a viewer for git and diff output.

Delta's main features are:

- Language syntax highlighting with color themes
- Within-line highlights based on a Levenshtein edit inference algorithm
- Git style strings (foreground color, background color, font attributes) are supported for >20 stylable elements
- Side-by-side view
- Line numbering
- diff-highlight and diff-so-fancy emulation modes
- Stylable box/line decorations to draw attention to commit, file and hunk header sections.
- Support for Git's --color-moved feature.
- Code can be copied directly from the diff (-/+ markers are removed by default).
- n and N keybindings to move between files in large diffs, and between diffs in log -p views (--navigate)

#rust, #git, #diff, #viewer, #delta, #syntax, #highlighter

Python Type Checking

In this guide, you will get a look into Python type checking. Traditionally, types have been handled by the Python interpreter in a flexible but implicit way. Recent versions of Python allow you to specify explicit type hints that can be used by different tools to help you develop your code more efficiently.

#article, #realpython, #typing, #mypy

Gooey is a tool which turns (almost) any Python command line program into a full GUI application with one line

#python, #gui, #cli

Semantic is a Haskell library and command line tool for parsing, analyzing, and comparing source code developed by GitHub.

#haskell, #fp, #parsing, #analyzing, #code, #github

Reanimate is a library for programmatically generating animations with a twist towards mathematics / 2D vector drawings. A lot of inspiration was drawn from 3b1b's manim library.

Reanimate aims at being a batteries-included way of gluing together different technologies: SVG as a universal image format, LaTeX for typesetting, ffmpeg for video encoding, inkscape/imagemagick for rasterization, potrace for vectorization, blender/povray for 3D graphics, and Haskell for scripting.

#haskell, #animation, #2d, #svg, #gif

Lucky is a full-featured Crystal web framework that catches bugs for you, runs incredibly fast, and helps you write code that lasts.

The goal: prevent bugs, forget about most performance issues, and spend more time on code instead of debugging and fixing tests.

In summary, make writing stunning web applications fast, fun, and easy.

#crystal, #web, #framework

ShellCheck is a shell script static analysis tool written in Haskell.

The goals of ShellCheck are:

- To point out and clarify typical beginner's syntax issues that cause a shell to give cryptic error messages.
- To point out and clarify typical intermediate level semantic problems that cause a shell to behave strangely and counter-intuitively.
- To point out subtle caveats, corner cases and pitfalls that may cause an advanced user's otherwise working script to fail under future circumstances.

#haskell, #sh, #shell, #bash, #linter, #static, #analysis

A Practical Introduction to Web Scraping in Python

Web scraping is the process of collecting and parsing raw data from the Web, and the Python community has come up with some pretty powerful web scraping tools.

The Internet hosts perhaps the greatest source of information—and misinformation—on the planet. Many disciplines, such as data science, business intelligence, and investigative reporting, can benefit enormously from collecting and analyzing data from websites.

#article, #realpython, #python, #scraping