Jevin Sweval jevinskie
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import cpp | |
| // void params::set_sym(symbol const & k, symbol const & v); | |
| // void params::set_sym(char const * k, symbol const & v); | |
| // void params_ref::set_sym(symbol const & k, symbol const & v); | |
| // void params_ref::set_sym(char const * k, symbol const & v); | |
| // solver_p.set_sym("gc", symbol("dyn_psm")); | |
| class SymbolCstrConstructor extends Constructor { | |
| SymbolCstrConstructor() { |
jevinskie
/ opensearch-github-jevinskie-stars.xml
Created
January 12, 2025 20:35
GitHub star opensearch h4x
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <OpenSearchDescription xmlns="http://a9.com/-/spec/opensearch/1.1/" | |
| xmlns:moz="http://www.mozilla.org/2006/browser/search/"> | |
| <ShortName>ghs</ShortName> | |
| <Description>Search jevinskie's GitHub Stars</Description> | |
| <InputEncoding>UTF-8</InputEncoding> | |
| <Image width="16" height="16" type="image/x-icon">https://github.com/favicon.ico</Image> | |
| <Url type="text/html" method="get" template="https://github.com/jevinskie?submit=Search&q={searchTerms}&tab=stars"/> | |
| <moz:SearchForm>https://github.com/jevinskie?submit=Search&q=sportsball&tab=stars</moz:SearchForm> | |
| </OpenSearchDescription> |
This file has been truncated, but you can view the full file.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # https://invisible-island.net/ncurses/terminfo.src.html | |
| ######## TERMINAL TYPE DESCRIPTIONS SOURCE FILE | |
| # | |
| # This version of terminfo.src is distributed with ncurses and is maintained | |
| # by Thomas E. Dickey (TD). | |
| # | |
| # Report bugs and new terminal descriptions to | |
| # bug-ncurses@gnu.org | |
| # | |
| # $Revision: 1.1160 $ |
jevinskie
/ terminfo.src
Last active
January 1, 2025 18:07
ncurses terminfo.src for iTerm2, etc from 2024/12/28
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ######## APPLE | |
| #### Terminal.app | |
| # nsterm*|Apple_Terminal - AppKit Terminal.app | |
| # | |
| # Terminal.app is a Terminal emulator bundled with NeXT's NeXTSTEP and | |
| # OPENSTEP/Mach operating systems, and with Apple's Rhapsody, Mac OS X | |
| # Server and Mac OS X operating systems. There is also a | |
| # "terminal.app" in GNUstep, but I believe it to be an unrelated |
jevinskie
/ aarch64-simd-sha1-digest-to-ascii-hex.asm
Created
December 12, 2024 15:46
AArch64 Advanced SIMD SHA1 digest to ASCII hex string
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| digest_to_hex: | |
| ldr q0, [x0] | |
| ushr.16b v1, v0, #4 | |
| movi.16b v2, #15 | |
| and.16b v0, v0, v2 | |
| ; nibble_hex_lut = { '0', ... '9', 'a' ... 'f' } | |
| adrp x8, nibble_hex_lut@PAGE | |
| ldr q2, [x8, nibble_hex_lut@PAGEOFF] | |
| tbl.16b v1, { v2 }, v1 | |
| tbl.16b v0, { v2 }, v0 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // clang-format: off | |
| #include "common_internal.hpp" | |
| // clang-format: on | |
| #include "gsnr/utils.hpp" | |
| #include <sys/mman.h> | |
| #include <unistd.h> | |
| namespace gsnr { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #pragma once | |
| #include "common.hpp" | |
| #include "fmt/base.h" | |
| #include <functional> | |
| #include <iterator> | |
| #include <type_traits> | |
| #undef NDEBUG | |
| #include <algorithm> |
jevinskie
/ z3_pipe.cpp
Created
October 3, 2024 17:51
— forked from regehr/z3_pipe.cpp
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include <fcntl.h> | |
| #include <iostream> | |
| #include <string> | |
| #include <unistd.h> | |
| #include <sys/wait.h> | |
| #include <cstring> | |
| #include "z3_pipe.h" | |
| #define ensure(b) ensure_helper(b, __FILE__, __FUNCTION__, __LINE__) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| bash-3.2# gmn2portd --help | |
| Usage: | |
| gmn2portd [OPTION?] - GMN 2.0 Port Daemon | |
| Help Options: | |
| -h, --help Show help options | |
| Application Options: | |
| -n, --no-daemonize Do not daemonize - Run in foreground | |
| -w, --wait Wait for debugger |
jevinskie
/ CertificateWarning.html
Created
August 20, 2024 07:38
SafariShared.framework embedded JavaScript and HTML - iOS 18.0 beta 6 22A5338b
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <meta http-equiv="content-type" content="text/html; charset=utf-8"> | |
| <meta name="viewport" content="width=device-width, viewport-fit=cover"> | |
| <title class="l12n">This Connection Is Not Private</title> | |
| <style> | |
| body { | |
| --font-color: #434343; | |
| --compact-font-color: #434343; |