claudexin Goto Github PK

androidtestdemo

Android/Java

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

col_intell

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

core_kernel

Jane Street's standard library overlay (kernel)

darknet

Convolutional Neural Networks

dynamicalsystems.jl

A Julia software library for chaos and nonlinear dynamics

error_detect

flask

A microframework based on Werkzeug, Jinja2 and good intentions

flux.jl

Relax! Flux is the ML library that doesn't make you tensor

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request.

hadoop

Mirror of Apache Hadoop

haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

hdu-thesis

杭州电子科技大学硕士论文 LaTeX 模板

julia

The Julia Language: A fresh approach to technical computing.

kafka

Mirror of Apache Kafka

lantern

🔴Lantern Latest Download https://github.com/getlantern/lantern/releases/tag/latest 🔴蓝灯最新版本下载 https://github.com/getlantern/forum/issues/833 🔴

leanote

Not Just A Notepad! (golang + mongodb) http://leanote.org

linux

Linux kernel source tree

magenta

Magenta Kernel, Core Drivers, and Services

nightmareattendance

android-nfc

numpy

Numpy main repository

pandoc

Universal markup converter

qt

Qt binding for Go (Golang) with support for Windows / macOS / Linux / Android / iOS / Sailfish OS / Raspberry Pi / AsteroidOS

sanlianmanagement

python-django

scikit-learn

scikit-learn: machine learning in Python

sel4

The seL4 microkernel

shadowsocks

backup of https://github.com/shadowsocks/shadowsocks

shadowsocks-ios

Removed according to regulations.