Repository Index

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

• programming-language
• language
• v
• compiler

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

• language
• compiler
• metaprogramming
• macros

🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.

• markdown
• markup-language
• paper
• scripting-language

A framework for building compiled Node.js add-ons in Rust via Node-API

• napi
• rust
• javascript
• napi-rs

👮 A PHP desktop/mobile user agent parser with support for Laravel, based on Mobiledetect

• user-agent
• mobile-detect
• robot
• browser

Principled Functional Programming in Scala

• scalaz
• scala
• functional-programming
• scala-native

[Mirror] A linter for prose.

• linter
• prose
• writer
• advice

Distributed lock for your scheduled tasks

Zephir is a compiled high-level language aimed to ease the creation of C-extensions for PHP

• zephir
• phalcon
• php-internals
• php-extension

A tool set for CSS including fast detailed parser, walker, generator and lexer based on W3C specs and browser implementations

• css-parser
• ast
• css
• fast

Elegant parsing in Java and Scala - lightweight, easy-to-use, powerful.

libsodium compiled to Webassembly and pure JavaScript, with convenient wrappers.

• libsodium
• javascript
• cryptography
• crypto

Quick development library (AutoMapper, LinQ, IOC Dependency Injection, MemoryCache, Scheduled tasks, Json and Yml Config and Options pattern, Serializers, etc) with crossplatform support for Delphi/Firemonkey (Windows,Linux,OSX/IOS/Android) and freepascal (Windows/Linux).

• delphi
• azure
• config
• json

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

• programming-language
• lisp
• malbolge
• esoteric

Ruby library for interfacing with FANN (Fast Artificial Neural Network)

• ai
• ruby-fann
• ruby-gem
• neural-network

Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^

• ddd
• ddd-architecture
• ddd-example
• transpiler

Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.

• cql
• clinical-quality-language
• cds
• java

Java type safe statically compiled mustache

• annotation-processor
• java
• mustache
• template-engine

Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.

• linker-flags
• cmake
• compiler-flags
• unity-build

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

• formal-verification
• fuzzing
• oss-fuzz
• proofs

A lightweight lexical string parser for BBCode styled markup.

• decoda
• bbcode
• bbcode-parser
• hooks

SDL2 module for Deno

• gui
• deno
• typescript
• canvas

Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.

• taproot
• secp256k1
• swift
• schnorr