bound

An allocator that can track and limit memory usage.

Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)

Data-binding made easy

Python application for finding apo and holo structures for user-defined protein-ligand interactions

I implemented the reinforcement learning based model Upper Confidence Bound in both Python and R

A TypeScript/ES7 decorator for automatically binding methods to the class instance

An optimization method is a procedure which is executed iteratively by comparing various solutions till an optimum or a satisfactory solution is found.

Generate Early-bound code from a CRM Schema using a customisable T4 Template.

➰ Bound method cache, ideal for React

A presentation on using a cache for bound functions in React

A sample app for demonstration the use Android Bound Services.

One with a Bound effect ScrollView for Android.

The shape every capsule keeps, read of each from its lines and the receipts of its code: one file per line, short regions, helpers written once, vectors from two worlds, rendered manifests and indexes, declared effects, no views of a place, and no place, case or customisation spelled in code.

A TypeScript module read by the language: its head, its signatures, its imports, its literals, and what it writes that a place customises.

A world of measurements built on topos: each quantity several origins read is one cell, said as where their readings meet or that they do not, and nothing is averaged.

The forge a place asks for, rendered from its lines: the workflows that test, tag and release it, and what its repository never holds.

This is the final project to the lecture "object oriented programming of heuristics" at the KU Ingolstadt.

What a node package is, rendered from its lines: the two manifests one lock makes, and how it builds.

A world of MCP servers built on topos: what a server publishes of itself — its tools, the resource it protects and the server that authorizes it — read as a place, never called.

A world of APIs built on topos: any OpenAPI 3 document read as a lock, its operations as forms and its methods as declared effects, never as proven ones.