mmcguill

mmcguill's Stars

• huggingface/transformers

  🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

  Language:Python137k1.1k16.4k27.5k

• pjreddie/darknet

  Convolutional Neural Networks

  Language:C25.9k9122.4k21.3k

• tabler/tabler-icons

  A set of over 5700 free MIT-licensed high-quality SVG icons for you to use in your web projects.

  Language:JavaScript18.6k103978934

• myspaghetti/macos-virtualbox

  Push-button installer of macOS Catalina, Mojave, and High Sierra guests in Virtualbox on x86 CPUs for Windows, Linux, and macOS

  Language:Shell13.5k1855561.1k

• mutualmobile/MMWormhole

  Message passing between iOS apps and extensions.

  Language:Objective-C3.9k13368314

• strongbox-password-safe/Strongbox

  A KeePass/Password Safe Client for iOS and OS X

  Language:Objective-C1.4k34811102

• hashintel/hash

  🚀 The open-source, multi-tenant, self-building knowledge graph

  Language:TypeScript1.1k187885

• facebookresearch/nle

  The NetHack Learning Environment

  Language:C94230113113

• passepartoutvpn/passepartout

  Your go-to app for VPN and privacy.

  Language:Swift87516521132

• joelgrus/fizz-buzz-tensorflow

  fizz buzz in tensorflow

  Language:Jupyter Notebook87115473

• microsoft/prose

  Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.

  Language:C#623563599

• Inventitech/strans

  Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.

  Language:Roff5478517

• ellisk42/ec

  Language:Slash4992231140

• KeeTrayTOTP/KeeTrayTOTP

  Tray TOTP Plugin for KeePass2.

  Language:C#487199448

• probmods/probmods2

  probmods 2: electric boogaloo

  Language:JavaScript303226779

• metagol/metagol

  Metagol - an inductive logic programming system

  Language:Prolog201271927

• emer/emergent

  Biologically based neural network simulations of the brain written in Go with a 3D GUI powered by Cogent Core.

  Language:Go1911410524

• ImperialCollegeLondon/M40001_lean

  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course

  Language:Lean15711214

• EricSteinberger/DREAM

  Scalable implementation of DREAM - Deep RL for multi-agent imperfect information games

  Language:Python1139617

• 921kiyo/symbolic-rl

  Symbolic Reinforcement Learning using Inductive Logic Programming

  Language:Lasso617610

• uwplse/szalinski

  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

  Language:OpenSCAD457214

• jasons-gh/the-chomsky-index

  A minimalist program indexing the content of Noam Chomsky

  Language:Python34541

• existentialcomics/kungFuChess

  copy of the old shizmoo kungfuchess

  Language:CSS31192

• rfeinman/GNS-Modeling

  Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)

  Language:Python265210

• SyGuS-Org/tools

  A set of basic tools for manipulating SyGuS benchmarks

  Language:C++226104

• ellisk42/bpl_phonology

  Language:OpenEdge ABL13404

• junjihashimoto/MagicHaskeller

  Language:Haskell430

• joshrule/program-induction

  A library for program induction and learning representations.

  Language:Rust3302

• esennesh/lambda-learner

  Language:Haskell1350

• SamuelSchlesinger/Sudoku

  A sudoku solver written with the Z3 SAT Solver

  Language:Haskell130