Social_Mean (Social-Mean)

Social-Mean

Geek Repo

Company:@tongji-university

Location:Shanghai, China

Github PK Tool:Github PK Tool

Social_Mean's starred repositories

docsify

🃏 A magical documentation site generator.

Language:JavaScriptLicense:MITStargazers:27679Issues:0Issues:0

docusaurus

Easy to maintain open source documentation websites.

Language:TypeScriptLicense:MITStargazers:56578Issues:0Issues:0

qterminal

A lightweight Qt-based terminal emulator

Language:C++License:GPL-2.0Stargazers:610Issues:0Issues:0

supervision

We write your reusable computer vision tools. 💜

Language:PythonLicense:MITStargazers:24033Issues:0Issues:0

sold

The sold linker

Language:C++License:MITStargazers:504Issues:0Issues:0

konsole

Terminal emulator by KDE

Language:C++License:NOASSERTIONStargazers:514Issues:0Issues:0

qt-creator

A cross-platform Qt IDE

Language:C++License:NOASSERTIONStargazers:2610Issues:0Issues:0

qtermwidget

The terminal widget for QTerminal

Language:C++License:GPL-2.0Stargazers:503Issues:0Issues:0

pythonqt

Dynamic Python binding for Qt Applications

Language:C++License:LGPL-2.1Stargazers:251Issues:0Issues:0

qtconsole

Jupyter Qt Console

Language:PythonLicense:BSD-3-ClauseStargazers:418Issues:0Issues:0

QSimpleUpdater

Updater system for Qt applications

Language:C++License:NOASSERTIONStargazers:923Issues:0Issues:0

drawio

draw.io is a JavaScript, client-side editor for general diagramming.

Language:JavaScriptLicense:NOASSERTIONStargazers:41269Issues:0Issues:0

pyside-setup

Git super project for PySide

Language:C++Stargazers:72Issues:0Issues:0

magic_enum

Static reflection for enums (to string, from string, iteration) for modern C++, work with any enum type without any macro or boilerplate code

Language:C++License:MITStargazers:4916Issues:0Issues:0

boost

Super-project for modularized Boost

Language:HTMLLicense:BSL-1.0Stargazers:7155Issues:0Issues:0

heaptrack

A heap memory profiler for Linux

Language:C++Stargazers:3323Issues:0Issues:0

PINNpapers

Must-read Papers on Physics-Informed Neural Networks.

Language:PythonLicense:MITStargazers:911Issues:0Issues:0

Catch2

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

Language:C++License:BSL-1.0Stargazers:18657Issues:0Issues:0

ninja

a small build system with a focus on speed

Language:C++License:Apache-2.0Stargazers:11219Issues:0Issues:0

mold

Mold: A Modern Linker 🦠

Language:C++License:MITStargazers:14340Issues:0Issues:0

f3d

Fast and minimalist 3D viewer.

Language:C++License:BSD-3-ClauseStargazers:2871Issues:0Issues:0

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.

Language:OCamlLicense:LGPL-2.1Stargazers:4848Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4674Issues:0Issues:0

hypre

Parallel solvers for sparse linear systems featuring multigrid methods.

Language:CLicense:NOASSERTIONStargazers:696Issues:0Issues:0

indicators

Activity Indicators for Modern C++

Language:C++License:MITStargazers:3029Issues:0Issues:0

kaobook

A LaTeX class for books, reports or theses based on https://github.com/kenohori/thesis and https://github.com/Tufte-LaTeX/tufte-latex.

Language:TeXLicense:LPPL-1.3cStargazers:846Issues:0Issues:0

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs LispLicense:GPL-3.0Stargazers:23694Issues:0Issues:0

stl1weekend

Build your own STL in one weekend

Language:C++Stargazers:210Issues:0Issues:0

iguana

universal serialization engine

Language:C++License:Apache-2.0Stargazers:1110Issues:0Issues:0