Skip to content
View lusinga's full-sized avatar

Block or report lusinga

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Lean 4 programming language and theorem prover

Lean 9,672 1,062 Updated Oct 25, 2026

The seL4 microkernel

C 5,833 821 Updated Oct 25, 2026

《软件基础》中文版

HTML 974 73 Updated Jun 19, 2026

GoogleTest - Google Testing and Mocking Framework

C++ 39,663 10,922 Updated Oct 21, 2026

Command line binaries for the TLA+ language

Shell 173 26 Updated Apr 27, 2023

Short React code snippets for all your development needs

JavaScript 5,063 471 Updated May 7, 2023

🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

Python 168,161 34,983 Updated Oct 26, 2026

Code for the paper "Language Models are Unsupervised Multitask Learners"

Python 25,011 5,957 Updated Aug 14, 2024

Node.js: extra methods for the fs object like copy(), remove(), mkdirs()

JavaScript 9,595 790 Updated Sep 22, 2026

Reinforcement Learning in PyTorch

Python 2,278 326 Updated Jan 4, 2021

A simple framework that allows researchers and hobbyists to develop AI agents for Atari 2600 games

C++ 2,462 481 Updated Oct 22, 2026

Microsoft Cognitive Toolkit (CNTK), an open source deep-learning toolkit

C++ 17,585 4,211 Updated Mar 11, 2023
Python 49 18 Updated Feb 12, 2020

Contains the code for our ICSE 2020 paper: Big Code != Big Vocabulary: Open-Vocabulary Language Models for Source Code and for its earlier pre-print: Maybe Deep Neural Networks are the Best Choice …

Python 84 24 Updated Mar 24, 2023

Your library for dynamic language modeling

Java 70 28 Updated Oct 23, 2018

PyTorch implementation of pix2code. 🔥

Jupyter Notebook 27 9 Updated Mar 23, 2018

Implementation of 'A Convolutional Attention Network for Extreme Summarization of Source Code' in PyTorch using TorchText

Python 14 7 Updated Sep 21, 2018

Implementation of 'A Convolutional Attention Network for Extreme Summarization of Source Code'

Jupyter Notebook 15 2 Updated Mar 14, 2019

XLNet: Generalized Autoregressive Pretraining for Language Understanding

Python 6,191 1,145 Updated May 28, 2023

OpenAI Baselines: high-quality implementations of reinforcement learning algorithms

Python 16,773 4,919 Updated Aug 1, 2024

Facebook AI Research Sequence-to-Sequence Toolkit written in Python.

Python 32,212 6,665 Updated Sep 30, 2025

A neural network that transforms a design mock-up into a static website.

HTML 16,535 1,539 Updated Aug 16, 2024

Keras model to generate HTML code from hand-drawn website mockups. Implements an image captioning architecture to drawn source images.

Python 5,143 674 Updated Aug 6, 2026

LabelImg is now part of the Label Studio community. The popular image annotation tool created by Tzutalin is no longer actively being developed, but you can check out Label Studio, the open source …

Python 25,035 6,592 Updated Jun 7, 2024

pix2code: Generating Code from a Graphical User Interface Screenshot

Python 12,012 1,424 Updated May 29, 2024

Fast math typesetting for the web.

TypeScript 20,471 1,343 Updated Oct 24, 2026

Empowering everyone to build reliable and efficient software.

Rust 120,805 17,990 Updated Oct 25, 2026

The Ruby Programming Language

Ruby 23,795 5,670 Updated Oct 25, 2026
Next