Repository Index

Persistent sorted maps and sets with log-time rank queries

Javascript SOQL parser

• soql
• salesforce

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

• aadl
• ada

Finite sets, finite maps, multisets and generic sets

• coq
• ssreflect
• mathcomp
• finite-sets

XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.

• python
• asynchronous
• sockets
• tcp

The completeness of Djula meets the usability of Eco.

• lisp
• common-lisp
• web-template
• html

Crystal bindings for libpcap

• packets
• pcap
• crystal

Racket to JavaScript Compiler

An esolang with brackets, a lot of brackets

• esolang
• esolangs
• interpreter

An esoteric programming language with prefix-free brackets

• esoteric-programming-language
• esolang
• programming-language