Benki → All Posts

Client-side FRP (functional reactive programming) web application framework for PureScript based on Hyrule.

FRP (functional reactive programming) for PureScript. Events and behaviors, just as in the original Fran (functional reactive animation) paper.

A simple functional programming language that compiles to JavaScript.

Forked from Elm.

Shaders. Among them: a CRT shader suitable for not-so-powerful GPUs.

Reactive (non-FRP) UI library for Scala.js.

Elm-like UI library for Scala 3.

FRP (functional reactive programming) library for many languages.

An OCaml-derived, strongly typed JavaScript replacement. Forked from Reason.

How to learn and teach a subject (my own understanding, not 100% what the article says):

1. Create a notebook and write down what you know.
2. Create another notebook and write the same things down in a way that you can read it to a child and they can understand. Do this by actually reading it out loud. Take note of where you stumble.
3. Open the first notebook again. Write down whatever you find you do not know or understand.
4. Iterate.

Zod-based type-safe RPC between TypeScript clients and servers.

A data schema EDSL for TypeScript, integrated with the TypeScript type system including type inference.

A client-side web application framework for ClojureScript.

A reactive client-side web application framework for PureScript.

AI code completion for Emacs. Runs a language model locally.

Rust bindings for libtls, which is OpenBSD’s easy-to-use TLS API.

The libtls API ported to OpenSSL.

OpenBSD’s easy-to-use TLS API. Part of LibreSSL.

See also libretls, which provides the same API on top of OpenSSL.

That’s the official name. Really.

A Unix-like operating system for Atari ST and compatibles.