Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

289–312 of 367 · Most stars

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.

An asynchronous directory file change watcher module for Windows, macOS and Linux wrapped for V

  • vlang
  • vlang-module
  • wrapper
  • filewatcher

annoy-rb provides Ruby bindings for the Annoy (Approximate Nearest Neighbors Oh Yeah).

  • ruby
  • approximate-nearest-neighbor-search
  • nearest-neighbor-search
  • gem

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

  • coq-plugin
  • coq-tactic
  • coq
  • docker-coq-action

A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]

D bindings for the sokol headers (https://github.com/floooh/sokol)

  • bindings
  • d
  • dlang
  • sokol