Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

769–792 of 1,026 · Most stars

extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0

  • f-sharp
  • parser
  • combinator
  • library

query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp

  • common-lisp
  • domain-specific-languages
  • dsl
  • json

High performance utility functions using Generics

  • filter
  • functional
  • generics
  • go

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.

Compute cluster (HPC) job submission library for Go (#golang) based on the open DRMAA standard.

C# wrapper for FlashRuntimeExtensions

  • adobe-air
  • ane
  • air-native-extensions
  • csharp

Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.