Lists (1)
Starred repositories
C library + command-line for Open- / GlobalPlatform smart cards
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
🌐 🔐 Manage applets and keys on JavaCard-s like a pro
Curated collection of awesome PKCS#11 related software and hardware solutions
All versions of PKCS#11 specification in one place
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.
dnSpyEx / dnSpy
Forked from dnSpy/dnSpyUnofficial revival of the well known .NET debugger and assembly editor, dnSpy
The user-friendly command line shell.
Powerful scripting language & versatile interactive shell
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.
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