680 results for tags
software x
-
Static MathJax
Static MathJax is a XULRunner application which loads a HTML inputSun Jan 3 21:44:03 2021 - permalink -
file that uses MathJax into a browser, waits until MathJax is done
processing, and then writes the formatted result to an output HTML
file.
I have only tested exports from Emacs Org-mode as input files. (As of
2010-08-14, MathJax is used by default with HTML exports in the
current Org development version.)
Optionally, references to the math fonts used will be converted to
"data:" URIs, thus embedding the font data into the HTML file itself.
(see [http://en.wikipedia.org/wiki/Data_URI_scheme])
The code is licensed under the GNU General Public License version
2, or, at your option, any later version.- http://www.jboecker.de/2010/08/15/staticmathjax.html
-
Emacs Polyglot: an Emacs Language Server Protocol client
Sat Jan 2 23:28:20 2021 - permalink -- https://github.com/joaotavora/eglot
-
GitHub - susam/uncap: Map Caps Lock to Escape or any key to any key
Map Caps Lock key to Escape key, or any to any key, on Windows systems.Fri Dec 18 11:06:47 2020 - permalink -- https://github.com/susam/uncap#custom-mapping
-
GitHub - susam/emacs4cl: A 35 line ~/.emacs to quickly set up vanilla Emacs for Common Lisp programming
This repository provides a tiny .emacs file to set up Emacs quickly for Common Lisp programming. README.md provides a detailed description of how to set it up and get started with Common Lisp programming.Fri Dec 18 11:01:45 2020 - permalink -- https://github.com/susam/emacs4cl
-
Dissecting Lemire’s nearly divisionless random — Very Serious Blog
Found on Tony Finch's blogMon Dec 14 14:47:39 2020 - permalink -
https://fanf.dreamwidth.org/133551.html- https://veryseriousblog.com/posts/dissecting-lemire
-
~kennylevinsen/switchd - sourcehut git
Runs commands when system button/switch states trigger.Wed Dec 2 13:53:31 2020 - permalink -- https://git.sr.ht/~kennylevinsen/switchd
-
Linux operating system targeting embedded devices
Instead of trying to create a single, static firmware, OpenWrt provides a fully writable filesystem with package management. This frees you from the application selection and configuration provided by the vendor and allows you to customize the device through the use of packages to suit any application. For developers, OpenWrt is the framework to build an application without having to build a complete firmware around it; for users this means the ability for full customization, to use the device in ways never envisioned.Tue Dec 1 21:36:33 2020 - permalink -- https://openwrt.org/
-
Open source, privacy-enabled smartphone operating systems.
/e/OS is a complete, fully “deGoogled”, mobile ecosystem, an Android fork based on Lineage OS.Tue Dec 1 21:17:58 2020 - permalink -- https://e.foundation/
-
Personal server
"A radical, uncompromising, plug and play personal server, offering one-click installation and simple configuration of open source software services that run over Tor V3. The Embassy is your sovereign territory in the land of the Internet. No technical expertise required."Mon Nov 30 23:30:53 2020 - permalink -
Found on the Fairphone forum.- https://start9labs.com/
-
Old Unix cross-reference tool
Hyper-linked and cross referenced rendition of the sources, much like doxygen or lxr does it. The desired features were:Sat Nov 21 15:58:17 2020 - permalink -
cover boot, kernel, networking, library and user level code
cover C, assembler and other relevant languages with syntax highlighting
provide 'what is used where' information, over the whole system
provide hyperlinks for a fast code path analysis, especially across the user,library,kernel interfaces
support to follow the execution logic of a system call starting from user code, through the library layer, through the kernel interface, to the kernel code by just following hyperlinks.- https://wfjm.github.io/home/ouxr/
-
On-line drawing tool.
Fri Nov 20 22:28:52 2020 - permalink -- https://github.com/excalidraw/excalidraw
-
triggerhappy global hotkey daemon
Triggerhappy is a hotkey daemon that operates on a system wide scale. It watches all configured input devices for key, switch or button events and can launch arbitrary commands specified by the administrator. In contrast to hotkey services provided by desktop environments, Triggerhappy is especially suited to hardware related switches like volume or wifi control; it works independently from a specific user being logged in and is also suitable for embedded systems that do not a graphical user interface.Fri Nov 13 15:43:14 2020 - permalink -
The source can be found on https://github.com/wertarbyte/triggerhappy- http://manpages.ubuntu.com/manpages/bionic/man1/thd.1.html
-
iSCSI Root Like a Data Center
Detailed description for using a network root filesystem on a Raspberry π. Has lots of details, for example I learned about the fatlabel program.Fri Nov 13 10:55:40 2020 - permalink -- https://www.raspberrypi.org/forums/viewtopic.php?f=36&t=274553
-
Squares RNG
Squares RNG is a counter-based version of Middle Square Weyl Sequence RNG. Counter-based RNGs have no state and are well suited to parallel processing. There is no need to maintain or initialize a state. Squares is faster than Middle Square Weyl Sequence on an Intel Core i7-9700. Processing speed is, of course, processor dependent and may vary on other processors. If you are currently using Middle Square Weyl Sequence, you might consider Squares. It produces data of equivalent quality and is easier to use since there is no state.Tue Oct 20 12:35:21 2020 - permalink -
This generator passes BigCrush and PractRand.- https://squaresrng.wixsite.com/rand
-
Pikchr: Documentation
Pikchr (pronounced "picture") is a PIC-like markup language for diagrams in technical documentation. Pikchr is designed to be embedded in fenced code blocks of Markdown or similar mechanisms of other documentation markup languages.Fri Oct 9 15:15:26 2020 - permalink -
Pikchr source code is released under a zero-clause BSD license.- https://pikchr.org/home/doc/trunk/homepage.md
-
[9fans] looking for schem, a pic processor
A pic preprocessor in awk for drawing circuit diagrams.Fri Oct 9 11:47:56 2020 - permalink -- https://marc.info/?l=9fans&m=160217724115279&w=2
-
Eligis: OpenLisp, ISLISP, ISO Lisp
A full and efficient ISO/IEC 13816:2007(E) ISLISP Implementation.Mon Oct 5 15:05:36 2020 - permalink -
Commercial software, can be used for free for non-commercial use.
An emacs-like editor for DOS and Windows by the same author can be found on
http://christian.jullien.free.fr/emacs/- http://christian.jullien.free.fr/
-
Making Unix a little more Plan9-like
Found on Tony Finch's link log https://dotat.at/:/Fri Aug 21 00:26:41 2020 - permalink -
There is also a nice introduction to TCP sockets at https://woozle.org/papers/sockets.html- https://woozle.org/papers/plan9.html
-
The Law Of Least Surprise Lattice For Emacs
The purpose of this lattice LOLSMacs tries to configure Emacs never to break the Law Of Least Surprise (LOLS).Mon Aug 17 00:42:13 2020 - permalink -- https://github.com/grettke/lolsmacs
-
9pfsPkg: Network Boot from Bell Labs
Boot an UEFI machine over the network using the Plan 9 protocol.Tue Aug 4 19:41:55 2020 - permalink -- https://retrage.github.io/2020/08/01/9pfspkg-en.html