Pinned Loading

1. lambda-land/xrs lambda-land/xrs Public

   A library that facilitates the production of explanations for derivations within a rule system.

   Haskell

2. hslr hslr Public

   A GLSL language embedding in Haskell.

   Haskell 3

3. ChAI ChAI Public

   A Chapel library for Machine Learning that supports distributed inference, automatic differentiation, and CUDA/HIP utilization.

   Chapel 4 5

4. LambdaScript LambdaScript Public

   A functional programming language implementing the semantic rules of the lambda calculus (λ-calculus).

   C++ 4

5. OpenWeatherMap-Cache-Server OpenWeatherMap-Cache-Server Public

   Easily cache Open Weather Map API calls, and string multiple free accounts together.

   TypeScript 14 4

6. Cocoa.cr Cocoa.cr Public

   A framework for developing macOS apps with a GUI using Crystal

   Crystal 18 1