-
sage Public
Forked from sagemath/sageMain repository of SageMath. Now open for Issues and Pull Requests.
Python Other UpdatedFeb 7, 2025 -
pysat Public
Forked from pysathq/pysatA toolkit for SAT-based prototyping in Python
Python MIT License UpdatedFeb 6, 2025 -
ipybind Public
Forked from cgrozea/ipybindIPython / Jupyter integration for pybind11
Python MIT License UpdatedFeb 2, 2025 -
OpenTabletDriver Public
Forked from OpenTabletDriver/OpenTabletDriverOpen source, cross-platform, user-mode tablet driver
C# GNU Lesser General Public License v3.0 UpdatedFeb 1, 2025 -
plover Public
Forked from openstenoproject/ploverOpen source stenotype engine
-
cpython Public
Forked from python/cpythonThe Python programming language
Python Other UpdatedJan 25, 2025 -
ipython Public
Forked from ipython/ipythonOfficial repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
Python BSD 3-Clause "New" or "Revised" License UpdatedJan 25, 2025 -
kactl Public
Forked from kth-competitive-programming/kactlKTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)
C++ UpdatedJan 23, 2025 -
qutebrowser Public
Forked from qutebrowser/qutebrowserA keyboard-driven, vim-like browser based on PyQt5.
Python GNU General Public License v3.0 UpdatedJan 22, 2025 -
py-aiger-sat Public
Forked from mvcisback/py-aiger-satPythonic interface between AIGs and SAT solvers.
Python MIT License UpdatedDec 30, 2024 -
py-aiger-bv Public
Forked from mvcisback/py-aiger-bvpyAiger-BV: Extension of pyAiger for manipulating sequential bitvector circuits.
Python MIT License UpdatedDec 30, 2024 -
pyeda Public
Forked from cjdrake/pyedaPython EDA
Python BSD 2-Clause "Simplified" License UpdatedDec 30, 2024 -
mt19937-linear Public
Yet another mt19937 cracker (for Python `random` module). Use SageMath's GF(2) matrices only (M4RI bindings).
Sage UpdatedDec 26, 2024 -
python-mro-graph Public
Forked from ri0t/python-mro-graphA small tool to generate and illustrate (via dot) the method resolution order graph of Python objects
Python UpdatedDec 18, 2024 -
cysignals Public
Forked from sagemath/cysignalscysignals: interrupt and signal handling for Cython. Source repository for https://pypi.org/project/cysignals/
Cython GNU Lesser General Public License v3.0 UpdatedDec 9, 2024 -
plover_python_dictionary Public
Forked from openstenoproject/plover_python_dictionaryPython dictionaries support for Plover
Python UpdatedDec 7, 2024 -
The official Vim repository
Vim Script Vim License UpdatedNov 29, 2024 -
md5-dbb Public
Implementing dBB (den Boer–Bosselaers) style pseudo-MD5 hash collision.
C++ GNU General Public License v3.0 UpdatedNov 18, 2024 -
openintro-statistics Public
Forked from OpenIntroStat/openintro-statistics📚 An open-source textbook written at the college level. OpenIntro also offers a second college-level intro stat textbook and also a high school variant.
TeX Other UpdatedNov 4, 2024 -
plover-python-dictionary-lib Public
Library for writing Python dictionary for Plover, and generating JSON dictionary file from Python dictionary.
-
-
synctex Public
Forked from jlaurens/synctexSynchronization for TeX
TeX MIT License UpdatedOct 17, 2024 -
luatex Public
Forked from TeX-Live/luatexMirror of LuaTeX's main development git repository
C GNU General Public License v2.0 UpdatedOct 3, 2024 -
-
plover_websocket_server Public
Forked from nsmarkop/plover_websocket_serverA server for exposing Plover engine events and functionality
-
-
pdf2doi Public
Forked from MicheleCotrufo/pdf2doiA python library/command-line tool to extract the DOI or other identifiers of a scientific paper from a pdf file.
Python UpdatedAug 9, 2024 -
pdf2bib Public
Forked from MicheleCotrufo/pdf2bibA python library/command-line tool to quickly and automatically generate BibTeX data starting from the pdf file of a scientific publication.
Python UpdatedAug 9, 2024 -
sketch-n-sketch Public
Forked from ravichugh/sketch-n-sketchDirect Manipulation Programming for HTML/SVG
-