#
Starred repositories
⚡️ Automatically add Trace Spans to Go methods and functions
User-friendly documentation for newcomers to TON blockchain.
Lecture Notes for "Software Quality Metrics" course in HSE University, 2023-2024
Bindings for GObject Introspection and libgirepository for Guile
Resources on 3D Graphics Programming and Game Development in F#
Materials for Computational Neuroscience Course 2020
F# interface to Dash- the most downloaded framework for building ML & data science web apps
Logs and metrics are one! Professional logging, metrics and analytics for your apps.
Aardvark.Rendering is a high-performance, dependency-aware rendering engine. It is part of the open-source Aardvark Platform for visual computing, real-time graphics, and visualization.
A low-level, portable graphics library for .NET.
Automated generation of provably secure, zero-copy parsers from format specifications
Interactive and object-oriented programming in Agda using coinductive types
Cross platform rapid GUI framework for golang based on Dear ImGui.
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Python/PyMC3 port of the examples in " Statistical Rethinking A Bayesian Course with Examples in R and Stan" by Richard McElreath
Audio decoding libraries for C/C++, each in a single source file.
Intermediate Graphics Library (IGL) is a cross-platform library that commands the GPU. It provides a single low-level cross-platform interface on top of various graphics APIs (e.g. OpenGL, Metal an…
🎮 🎲 A wonderful list of Game Development resources.
Categorical semantics of counterpart-based quantified (linear) temporal logics in Agda using agda-categories
avatar29A / qltl-pnf
Forked from iwilare/qltl-pnfPositive normal forms for counterpart-based temporal logics, with a standard non-categorical semantics