stjordanis Goto Github PK

agda-categories

A new Categories library for Agda

agda-playground

agda-unimath

Univalent mathematics in Agda

agda-vim

Agda interaction in vim

age

A simple, modern and secure encryption tool with small explicit keys, no config options, and UNIX-style composability.

age-1

agency-jekyll-theme

Agency Theme for Jekyll

agenda

Lightweight job scheduling for Node.js

agent-rs

A collection of libraries and tools for building software around the Internet Computer, in Rust.

agent-simple

agentassistwidget

AgentAssist Widget

agentheisenbug

[ThreadSafe] and [ReadOnly] for ReSharper

agents

TF-Agents is a library for Reinforcement Learning in TensorFlow

agents-tac

Competition and Agent Frameworks for the Trading Agents Competition

agents.jl

Agent-based modeling framework in Julia

agi-bio

Genomic and Proteomic data exploration and pattern mining

agile_autonomy

Repository Containing the Code associated with the Paper: "Learning High-Speed Flight in the Wild"

agility

Timer for Agile XP Practices (Mobbing, Retrospectives)

agora-react-native-rtm

React Native around the Agora RTM SDKs for Android and iOS agora

agora-unity-rtm-sdk

A Unity3D sample app to show Login /Logout, Log in to/out of channel, Get Channel Member Count, Send/Receive Channel Message, Send Peer Message, Query Member, and token Authentication

agora-unreal-sdk-blueprint

Agora Unreal SDK - Blueprint (Beta)

agora-unreal-sdk-cpp

Agora Unreal SDK - C++ (Beta)

agoradesk_py

agorawebsdk-ng

The Next Generation of Agora Web SDK

agraef.github.io

Albert Gräf's home on Github

ahk_tests

AutoHotKey-based Application Regression Tests for ReactOS

ahni

Another HyperNEAT Implementation

ahoy

Simple, powerful, first-party analytics for Rails

ahoy.js

Simple, powerful JavaScript analytics

ahoy_email

Email analytics for Rails