A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support
Repository Index
47,133 repositories indexed
169–192 of 235 · Most stars
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
A drop-in modernization of jmoiron/sqlx that fixes lexer bugs, automates IN expansion, and adds pluggable hooks — built for Go 1.21+.
Advanced Function composition to use with RxJava [STABLE]
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
A portable reader and bridge for interacting with Objective-C and Cocoa
The universal ISSR server compatible with <your-favorite-programming-language>
A simple embeddable scripting language which supports concurrent event processing.
- interpreter
- language
- embeddable-scripting-language
- object-oriented-programming
Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
Make native methods available as partially applied functions.
Static & dynamic D bindings to GLFW, compatible with BetterC, @nogc, and nothrow.
- dlang
- glfw-bindings
- bindbc
- glfw
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language
Simple currying for FuncN and ActionN on RxJava [STABLE]
A Common Lisp library that enables fast and convenient interoperation with foreign objects.
Elixir library to do pipeable transformations on html strings (with CSS selectors)
- elixir
- html-parser
- html-renderer
- css-selector
Simple ActionN composition to use with RxJava [STABLE]
immutable primitive array/NonEmptyArray wrapper for Scala
- data-structures
- scala
- primitive-arrays
- scala-js
Simple partial application for FuncN and ActionN on RxJava [STABLE]
An embeddable implementation of the Ngaro Virtual Machine for Go programs
A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort