Search:

dev-java/rhino

Rhino JavaScript runtime jar, excludes XML, tools, and ScriptEngine wrapper

dev-java/commons-daemon

Tools to allow Java programs to run as UNIX daemons

dev-java/freenet-ext

Freenet REference Daemon

dev-java/java-service-wrapper

A wrapper that makes it possible to install a Java Application as daemon

dev-java/jna

Java Native Access

dev-java/jnr-ffi

A library for invoking native functions from java

dev-java/lz4-java

LZ4 compression for Java

dev-java/snappy-java

Snappy compressor/decompressor for Java

dev-java/protobuf-java

Core Protocol Buffers library

dev-lang/elixir

Elixir programming language

dev-lang/clojure

General-purpose programming language with an emphasis on functional programming

dev-lang/kotlin-bin

Statically typed programming language for modern multiplatform applications

dev-lang/tuprolog

tuProlog is a light-weight Prolog for Internet applications and infrastructures

dev-lang/R

Language and environment for statistical computing and graphics

dev-lang/bff

A brainfuck interpreter

dev-lang/cfortran

Header file allowing to call Fortran routines from C and C++

dev-lang/cxprolog

A WAM based Prolog system

dev-lang/fuzion

A language with a focus on simplicity, safety and correctness

dev-lang/mercury

Mercury is a modern general-purpose logic/functional programming language

dev-lang/micropython

Python implementation for microcontrollers

dev-lang/nelua

Statically-typed systems programming language inspired by Lua

dev-lang/ocaml

Programming language supporting functional, imperative & object-oriented styles

dev-lang/pypy

A fast, compliant alternative implementation of the Python (3.10) language

dev-lang/swig

Simplified Wrapper and Interface Generator

dev-lang/tcc

A very small C compiler for ix86/amd64

dev-lang/tk

Tk Widget Set

dev-lang/boogie

SMT-based program verifier

dev-lang/dafny

Dafny is a verification-aware programming language

dev-lang/elpi

Embeddable Lambda Prolog Interpreter in OCaml

dev-lang/ispc

Intel SPMD Program Compiler

dev-lang/jsonnet

A data templating language for app and tool developers

dev-lang/luau

Gradually typed embeddable scripting language derived from Lua

dev-lang/nim

Compiled, garbage-collected systems programming language

dev-lang/python-exec

Python script wrapper

dev-lang/souffle

Datalog compiler, synthesizes C++ program from logic specification

dev-lang/spidermonkey

SpiderMonkey is Mozilla's JavaScript engine written in C and C++

dev-lang/swi-prolog

Versatile implementation of the Prolog programming language

dev-lang/zig

A robust, optimal, and maintainable programming language

dev-libs/xbyak

JIT assembler for x86(IA-32)/x64(AMD64, x86-64)

dev-libs/squareball

A general-purpose library for C99

dev-libs/pkcs11-helper

PKCS#11 helper library

dev-libs/pocketfft

PocketFFT for C++

dev-libs/mpdecimal

Correctly-rounded arbitrary precision decimal floating point arithmetic

dev-libs/libunibreak

Line and word breaking library

dev-libs/ding-libs

Set of utility libraries (mostly used by sssd)

dev-libs/libee

An Event Expression Library inspired by CEE

dev-libs/tvmet

Tiny Vector Matrix library using Expression Templates

dev-libs/libnop

C++ Native Object Protocols

dev-libs/cjose

C library implementing the Javascript Object Signing and Encryption (JOSE)

dev-libs/cowsql

Embeddable, replicated and fault tolerant SQL engine (fork of dqlite)