Topic: tactics Goto Github
Some thing interesting about tactics
Some thing interesting about tactics
tactics,Reference sheet for the Coq language.
User: alhassy
tactics,A slow-paced introduction to reflection in Agda. ---Tactics!
User: alhassy
tactics,A Tactical Battle System for RPG Maker MV.
User: belmoussaoui
tactics,Rainbow Six Siege map quick references
User: capajon
tactics,A multiplayer dungeon made in Godot that supports up to 2 players! Fight through the dungeon alone or with a friend and try to defeat the minotaur on the 3rd floor! Collect equipment along the way and customize your character with up to 4 abilities!
User: elemein
tactics,Bloxstrap-Persistance modifies Bloxstrap's settings (Settings.json) to add persistent integrations, showcasing how applications can be exploited.
User: evilbytecode
tactics,A tactics for solving goals about permutation in Coq.
User: foreverbell
tactics,A Sudoku game developed by Coq from the mathematical proof perspective for CS386L Final Project.
User: frankyaohua
Home Page: https://github.com/frankYaohua/Sudoku_Coq
tactics,GAPT: General Architecture for Proof Theory
Organization: gapt
Home Page: https://logic.at/gapt/
tactics,Invoke SMT solvers from Coq to check obligations
User: gmalecha
tactics,
User: hematite12
tactics,Files from Teamfight Tactics to use in your projects, distributed by Riot Games. Contains some old and new files. Check README for details about repository updates.
User: infinity54
Home Page: https://developer.riotgames.com/docs/tft#static-data
tactics,The continuation of the venerable JA2-Stracciatella project.
Organization: ja2-stracciatella
Home Page: https://ja2-stracciatella.github.io/
tactics,Unity 3D project that allows to easilly setup a "tactics" game (like Fire Emblem or Final Fantasy Tactics). Demo avaliable at https://jeffersonbc.github.io/TacticsKitUnity3D/
User: jeffersonbc
tactics,A TACtic library for Agda
User: jespercockx
tactics,Web & Desktop App to collaboratively manage csgo team playbook
User: jh1ller
Home Page: https://stratbook.pro
tactics,Automated Tactics Techniques & Procedures
User: jymcheong
tactics,:car: Intelligent self-control and fighting system of karts in the Kartwars.io multiplayer game.
User: kmataru
Home Page: https://github.com/kmataru/kartwars.io-bot
tactics,Mtac in Agda
User: l-tchen
tactics,KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Organization: ls-lab
Home Page: http://keymaeraX.org/
tactics,A Coq library providing tactics to deal with hypothesis
User: matafou
tactics,Applicazione grafica per facilitare la comprensione delle meccaniche di gioco e l'ideazione di strategie di Ashton Tablut
User: mikyll
tactics,Purpleteam scripts simulation & Detection - trigger events for SOC detections
User: mthcht
tactics,Supporting files for the Chinese State-Sponsored Cyber Operations: Observed TTPs Cybersecurity Advisory. #nsacyber
Organization: nsacyber
tactics,A tactical role-playing game demo for the Godot Engine
User: ramaureirac
tactics,A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
Organization: redprl
tactics,OpenCPN dashboard built-in plugin merger with external tactics_pi plugin
User: rgleason
tactics,A collection of tactics and practices for various areas of software engineering / design
Organization: s2-group
Home Page: https://s2group.cs.vu.nl/AwesomeAndDarkTactics
tactics,This informative guide offers essential tips to avoid legal trouble with law enforcement by educating readers on their rights and ways to circumvent unnecessary prosecution.
User: scrut1ny
tactics,List of the output of #help command of mathlib4.
User: seasawher
Home Page: https://seasawher.github.io/mathlib4-tactics/
tactics,🥅 A tactical board on your device for badminton, soccer, and basketball.
Organization: tacticalboard
Home Page: https://tacticalboard.github.io/
tactics,Tactic for polynomial manipulations
User: thery
tactics,Tactic Metaprogramming in Haskell
User: totbwf
tactics,Weasel Turn Battle System
User: trisfald
tactics,Wargame is a web real-time strategic game
User: ualisars
tactics,Historical battle simulation package for Python
User: umitkaanusta
tactics,Coq utility and tactic library.
Organization: uwplse
tactics,Answer if the chess move is winning or blunder, from your own Lichess.org games
User: vitogit
Home Page: http://vitomd.com/chess-winning-or-blunder/
tactics,This are my chess projects. Here you can learn, play and improve your chess.
User: vitogit
Home Page: http://chesswindmill.com
tactics,Generate chess tactics from your own lichess games.
User: vitogit
Home Page: http://chesstacticsgenerator.vitomd.com
tactics,Generate chess puzzles / tactics from a pgn file
User: vitogit
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.