-
dr-plan-solver-mirror Public
mirror for dr-plan-solver
C++ GNU General Public License v3.0 UpdatedOct 29, 2024 -
spacemacs Public
Forked from syl20bnr/spacemacsA community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Emacs Lisp UpdatedMay 27, 2024 -
styleguide Public
Forked from google/styleguideStyle guides for Google-originated open-source projects
HTML Apache License 2.0 UpdatedJun 1, 2023 -
vscode-lsp-wl Public
Visual Studio Code Client for Wolfram Language Server
-
Downloads all the media (photographs and soundtracks) in www.sony.net/united/clock/
-
lsp-wl Public
A Wolfram Language Server
-
-
wolfram-language-notebook Public
Forked from njpipeorgan/wolfram-language-notebookNotebook support for Wolfram Language in VS Code
TypeScript Apache License 2.0 UpdatedJun 13, 2022 -
codeinspector Public
Forked from WolframResearch/codeinspectorFind and report problems in Wolfram Language code
Mathematica MIT License UpdatedMar 22, 2021 -
Matypetica Public
A Type System Attempt for Wolfram Language
-
debug-adapter-protocol Public
Forked from microsoft/debug-adapter-protocolDefines a common protocol for debug adapters.
Other UpdatedAug 26, 2020 -
-
base16-xresources Public
Forked from dkasak/base16-xresourcesBase16 for Xresources
HTML Other UpdatedJun 24, 2020 -
codeparser Public
Forked from WolframResearch/codeparserParse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
Mathematica MIT License UpdatedMay 12, 2020 -
language-server-protocol Public
Forked from microsoft/language-server-protocolDefines a common protocol for language servers.
Other UpdatedFeb 12, 2020 -
vscode-extension-samples Public
Forked from microsoft/vscode-extension-samplesSample code illustrating the VS Code extension API.
TypeScript Other UpdatedJan 11, 2020 -
MathLine Public
Forked from rljacobson/MathLineA textual front end to Mathematica.
C++ BSD 2-Clause "Simplified" License UpdatedOct 16, 2019 -
MINGW-packages Public
Forked from msys2/MINGW-packagesPackage scripts for MinGW-w64 targets to build under MSYS2.
Shell BSD 3-Clause "New" or "Revised" License UpdatedSep 2, 2019 -
-
vscode-icons Public
Forked from vscode-icons/vscode-iconsIcons for Visual Studio Code
TypeScript MIT License UpdatedJul 6, 2019 -
china-indie-podcasts Public
Forked from typlog/china-indie-podcasts发现与推荐高质量的中文独立播客
HTML UpdatedJun 9, 2019 -
kenkangxgwe.github.io Public
Forked from github/personal-websiteCode that'll help you kickstart a personal website that showcases your work as a software developer.
HTML MIT License UpdatedMay 26, 2019 -
-
ViMma Public
A Vim Integration For Mathematica
-
-
Z3-Sudoku Public
Propositional Sudoku Solver Based on Z3Prover
-
emacs-application-framework Public
Forked from emacs-eaf/emacs-application-frameworkEmacs application framework
Python GNU General Public License v3.0 UpdatedJun 27, 2018 -
dblp-parser Public
Forked from ScaDS/dblp-parserA simple library to parse DBLP data using call-back mechanism.
Java MIT License UpdatedApr 29, 2018 -
-
Path-Tracing-Reproduction Public
Final Project for Computer Graphics