GitHub Trends – Telegram

GitHub Trends

@githubtrending

10.1K subscribers

15.3K links

See what the GitHub community is most excited about today.

A bot automatically fetches new repositories from https://github.com/trending and sends them to the channel.

Author and maintainer: https://github.com/katursis

Download Telegram

About

Blog

Apps

Platform

10.1K subscribers

#racket

https://github.com/uwdb/Cosette

GitHub - uwdb/Cosette: Cosette is an automated SQL solver.

Cosette is an automated SQL solver. Contribute to uwdb/Cosette development by creating an account on GitHub.

206 views09:35

#rust #contracts #programming_language #racket #scripting_language #transducers

https://github.com/mattwparas/steel

GitHub - mattwparas/steel: An embedded scheme interpreter in Rust

An embedded scheme interpreter in Rust. Contribute to mattwparas/steel development by creating an account on GitHub.

1.29K views11:56