Beast code in Giters

Timur's repositories

programmingOnIosForIos

Программирование под ios на ios

Language:HTMLMIT800

chromium

fork of the Chromium, #Net edition

BSD-3-Clause300

hashnet-agent

#Net server

Language:JavaScriptMIT100

hashnet-utils

#Net utils

Language:JavaScriptMIT100

check-unrestricted-xhr-electron

Language:JavaScriptMIT000

checkOff.js

Language:TypeScriptMIT000

badgers-lair

Language:JavaScriptMIT000

browser

Language:C++000

Cosette

Cosette is an automated SQL solver powered by Coq/Lean and Rosette.

Language:LeanBSD-2-Clause010

creatures

Thomas Miconi's code for evolving virtual creatures for numerous things, reworked for my purposes

Language:C++000

electron

:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS

MIT000

EvolvedVirtualCreaturesRepo

3DVCE

Language:C++000

Evolving-Creatures-Using-Neural-Networks-And-Genetic-Algorithms

Evolving Creatures Using Neural Networks And Genetic Algorithms

Language:C#000

gonzazoid.github.io

Language:HTML000

hashnet-client

Collection of functions making #Net interactions easier

Language:JavaScriptMIT000

injectScript.js

Language:TypeScriptMIT000

LPAd_SM-DPPlus_Connector

Local Profile Assistant for Device (LPAd) - LPAd SM-DP+ Connector

Apache-2.0000

off.ts

Language:TypeScriptMIT000

qc--

Quick C-- compiler (no longer maintained)

Language:OCaml000

sprintf.js

Language:TypeScriptMIT000

tau

Language:JavaScriptMIT000

tau-lang

https://gonzazoid.com

Language:HaskellMIT000

test4Asker

MIT000

tj-shortUrl

Language:JavaScriptMIT020

tj-WeatherApp

Language:C#MIT020

voting

Voting smart contract

Language:JavaScriptMIT010