-
alfred-font-awesome-workflow Public
Forked from ruedap/alfred-font-awesome-workflow🎩 Font Awesome workflow for Alfred
TypeScript MIT License UpdatedFeb 24, 2022 -
XORSATFilter Public
Forked from NationalSecurityAgency/XORSATFilterA library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
C Other UpdatedJan 17, 2022 -
-
emacs-libvterm Public
Forked from akermu/emacs-libvtermEmacs libvterm integration
C GNU General Public License v3.0 UpdatedMay 4, 2020 -
spring20 Public
Forked from mit-frap/spring20Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
Coq UpdatedMar 11, 2020 -
-
isicp Public
Forked from ldct/isicpInteractive Structure and Interpretation of Computer Programs
HTML MIT License UpdatedJan 21, 2020 -
emacs Public
Forked from emacs-mirror/emacsMirror of GNU Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedDec 30, 2019 -
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 UpdatedJul 15, 2019 -
DCP Public
Forked from NationalSecurityAgency/DCPDigest, stat, and copy files from one location to another in the same read pass
C Other UpdatedJun 6, 2019 -
PowerShell Public
Forked from PowerShell/PowerShellPowerShell for every system!
C# Other UpdatedApr 22, 2019 -
ConTeXt-Support-Files Public
Some .lfg and .mkiv files to configure ConTeXt
MIT License UpdatedJan 27, 2019 -
smtlibv2-grammar Public
Forked from julianthome/smtlibv2-grammarANTLR SMT-LIB v2 Grammar
SMT MIT License UpdatedJun 13, 2018 -
vim-smt2 Public
Forked from bohlender/vim-smt2A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
Vim Script MIT License UpdatedMay 20, 2018 -
emacs-edbi Public
Forked from kiwanami/emacs-edbiDatabase Interface for Emacs Lisp
Emacs Lisp UpdatedJul 24, 2016 -
smtlib-mode Public
Forked from chsticksel/smtlib-modeAn Emacs major mode to edit and run SMTLIB v2 files
Emacs Lisp GNU General Public License v3.0 UpdatedNov 14, 2015
{{ message }}