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

145–168 of 216 · Most stars

Wrapper around mono library. Allows easy loading and interop between code written for the .NET framework and Rust.

  • csharp
  • dotnet
  • fsharp
  • mono

🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].

  • monads
  • result-type
  • typing
  • python

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs

Simple and performant utilies using Go generics inspired by JavaScript and Python

  • golang
  • go
  • utilities
  • generics

A portable cross-platform pinvoke .NET wrapper around libsass to convert SCSS to CSS

  • libsass
  • dotnet
  • dotnet-standard
  • scss

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

Go 1.18+ polymorphic generic containers and functions.

  • go
  • golang
  • generics

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.