The open knowledge layer for AI agents and APIs

Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own.

Determined is an open-source machine learning platform that simplifies distributed training, hyperparameter tuning, experiment tracking, and resource management. Works with PyTorch and TensorFlow.

🕵️‍♀️ Find, filter, and sort your Ruby code's definitions & references

🦝 📦 a package registry for anything, but mostly javascript 🦝 🦝 🦝

A microservice app that demonstrates the power of tilt

Elm 0.19.1, Webpack 5 & Tailwind

Best Practices on Recommendation Systems

Statistics and graphs for 2-column csv files

AWS Lambda Python runtime helpers for Architect apps

AWS Lambda Ruby runtime helpers for Architect apps

Define your dev environment as code. For microservice apps on Kubernetes.

A quick little macOS utility to make writing commit messages easier

The simplest, most powerful way to build a functional web app (fwa)

Distributed Stream Processing

A vim plugin that runs the Code Climate CLI & displays the results in vim.

Central volunteer and data portal

codeclimate-shellcheck is a Code Climate engine that wraps ShellCheck

Erlang Backend for Idris Compiler

A monadic approach to static analysis following the methodology of AAM

beatsryetypes.com

Official repository of the AWS SDK for PHP (@awsforphp)

Compatibility with the password_* functions that ship with PHP 5.5

papers of Per Martin Löf

Guesses and gossip about counts

Prototype of a new constraint-logic programming language in Racket

A demo implementation of a simple dependently-typed language

Collection of Idris tests and demonstration programs

Implementations of various type systems in OCaml.

Dependently Typed Lambda Calculus in Haskell