Search Results for "lua compiler windows"

todo-comments.nvim is a Neovim plugin that highlights and searches for comment annotations such as TODO, FIX, HACK, and others. It helps developers keep track of tasks, warnings, or issues left in code by providing colorful highlights and integration with search tools like Telescope. The plugin is written in Lua and is highly configurable to match different workflows.

An open-source stack for generative modeling and probabilistic inference. Gen’s inference library gives users building blocks for writing efficient probabilistic inference algorithms that are tailored to their models, while automating the tricky math and the low-level implementation details. Gen helps users write hybrid algorithms that combine neural networks, variational inference, sequential Monte Carlo samplers, and Markov chain Monte Carlo. Gen features an easy-to-use modeling language...

Metatheory.jl is a general purpose term rewriting, metaprogramming and algebraic computation library for the Julia programming language, designed to take advantage of the powerful reflection capabilities to bridge the gap between symbolic mathematics, abstract interpretation, equational reasoning, optimization, composable compiler transforms, and advanced homoiconic pattern matching features. The core features of Metatheory.jl are a powerful rewrite rule definition language, a vast library...