kdtree is a simple, easy to use C library for working with kd-trees.
Kd-trees are an extension of binary search trees to k-dimensional data. They facilitate very fast searching, and nearest-neighbor queries.
This particular implementation is designed to be efficient and very easy to use. It is completely written in ANSI/ISO C, and thus completely cross-platform.
CλaSH (pronounced ‘clash’) is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. It provides a familiar structural design approach to both combinational and synchronous sequential circuits. The CλaSH compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog.
This software enables the user to put on a stylish, high-brow presentation using only a text editor, a 256-colour capable terminal and a copy of Node.js!
CDE (formerly known as CDEpack) automatically packages up the Code, Data, and Environment required to deploy and run your Linux programs on other machines without any installation or configuration. CDE is the easiest way to completely eliminate dependency hell.
Weyl is an extensible algebraic manipulation substrate that has been designed to represent all types of algebraic objects. It deals not only with the basic symbolic objects like polynomials, algebraic functions and differential forms, but can also deal with higher level objects like groups, rings, ideals and vector spaces. Furthermore, to encourage the use of symbolic techniques within other applications, Weyl is implemented as an extension of Common Lisp using the Common Lisp Object Standard so that all of Common Lisp’s facilities and development tools can be used in concert with Weyl’s symbolic tools.
[H]ere are a few notes on how to configure operating systems and write code to support thousands of clients. The discussion centers around Unix-like operating systems, as that’s my personal area of interest, but Windows is also covered a bit.
Cayley is an open-source graph inspired by the graph database behind Freebase and Google’s Knowledge Graph.
I want to upgrade from packages, but not upgrade PHP automatically. pkgng has a tool for this, pkg lock. You must give pkg lock a package name and confirm that you want to update this package.
You login to a Linux server with a performance issue: what do you check in the first minute?
I’m a little frustrated with finding “gdb examples” online that show the commands but not their output. gdb is the GNU Debugger, the standard debugger on Linux. I was reminded of the lack of example output when watching the Give me 15 minutes and I’ll change your view of GDB talk by Greg Law at CppCon 2015, which, thankfully, includes output! It’s well worth the 15 minutes.
It also inspired me to share a full gdb debugging example, with output and every step involved, including dead ends. This isn’t a particularly interesting or exotic issue, it’s just a routine gdb debugging session. But it covers the basics and could serve as a tutorial of sorts, bearing in mind there’s a lot more to gdb than I used here.
This page links to various Linux performance material I’ve created, including the tools maps on the right.
Boomerang is a programming language for writing lenses—well-behaved bidirectional transformations—that operate on ad-hoc, textual data formats. Every lens program, when read from left to right, describes a function that maps an input to an output; when read from right to left, the very same program describes a “backwards” function that maps a modified output, together with the original input, back to a modified input.
Lenses have been used to solve problems across a wide range of areas in computing including: in data converters and synchronizers, in parsers and pretty printers, in picklers and unpicklers, in structure editors, in constraint maintainers for user interfaces, in software model transformations, in schema evolution, in tools for managing system configuration files, and in databases where they provide updatable views.
- Browser interface for Issuing, Managing, and Using tokens
- Supporting PKI, OTP, Information Cards, etc.
- VSDs (Virtual Security Domains) enabling independent issuers securely Sharing a token container
- Transaction Based Operation and E2ES (End To End Security) making on-line personalization of tokens Technically as secure and robust as traditional smart card production in a “bunker”
- Unified system for enhanced smart cards and mobile phones with embedded security hardware
- Compatible with an extended version of W3C’s WebCrypto (WebCrypto++)
- Building on Standards like X.509, TLS, HTTP, JSON, NSA Suite B and Brainpool Elliptic Curves
For those who are heavy into authentication technologies, I have compiled a set of links to the most important documents.
The frtime language supports declarative construction of reactive systems in a syntax very similar to that of Racket. It extends racket.
Pollen is a publishing system that helps authors make functional and beautiful digital books.
Gonimo ist ein Babyphon, für dessen Benutzung du einfach einen Web-Browser benötigst.
Ist in Haskell geschrieben und verwendet GHCJS und Reflex-DOM für das Frontend.