Repository Index

📅 An esoteric programming language for no reason whatsoever.

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

Formally verified implementation of the CoAP protocol in SPARK/Ada

• ada
• coap
• formal-verification
• spark-ada

The kitchen sink for clean Go projects — generic helpers for slices, maps, parallel work, JSON, HTTP, and containers

• collections
• data-structures
• functional-programming
• generics

TypeScript multimethods inspired by Clojure multimethods

• clojure
• typescript
• multimethod
• method

Vala bindings for libcmark, the CommonMark parsing and rendering library in C

A queue-esque data type for purescript.

• handler
• purescript
• async
• purescript-queue

Ada binding to OpenAL which tries to mimic original API while using Ada types.

Do notation pipes for Promise-based or pure functions which easy to mock

• do-notation
• functional-programming
• mock
• pipe

The repository host gives no description.