Schwarz-Christoffel Toolbox for conformal mapping

DSL Framework consisting of a DSL Engine and a Data-Binding Library used in Glimmer DSL for SWT (JRuby Desktop Development GUI Framework), Glimmer DSL for Opal (Pure Ruby Web GUI), Glimmer DSL for …

A 3D Printable Pen Plotter Toolhead for the Creality Ender 3 3D Printer

Gaining advanced insights from Git repository history.

Unofficial revival of the well known .NET debugger and assembly editor, dnSpy

Go bindings to the PC/SC API.

The user-friendly command line shell.

Powerful scripting language & versatile interactive shell

A command-line hex viewer

A Rosetta stone for modern typesetting engines.

Lightning-fast and Powerful Code Editor written in Rust

dot-config promotes use of .config folders for project level settings

Lean 4 programming language and theorem prover

This repository contains the source html files for the website complex-analysis.com

Microsoft Application Insights SDK for Go

Collection of TypeScript type challenges with online judge

A collection of learning resources for curious software engineers

Glisp is a Lisp-based design tool that combines generative approaches with traditional design methods, empowering artists to discover new forms of expression.

Development repository for the CodeMirror editor project

Publishes curated news about the Haskell programming language.

d17e.dev's entries to genuary 2024

A Go implementation of the ISO7816 standard for smart card communication

prettify let's build a compiler tutorial

Linux (SDL) Emulator for old YU first computer Galaksija

ALOps

Repo für Architecture Antipatterns Website

Unlock custom brushes, natural fill effects and intuitive hatching in p5.js

OpenHantek6022 is a DSO software for Hantek USB digital signal oscilloscopes 6022BE / BL. Development OS is Debian Linux, but the program also works on FreeBSD, MacOS, RaspberryPi and Windows. No s…

Official radare2 GUI