|
PHP |
2 |
Lean instance repository for bnald.lib.unb.ca |
Nov 16, 2022 |
|
PHP |
2 |
Lean instance repository for composites.lib.unb.ca |
Nov 07, 2022 |
|
SCSS |
2 |
Lean instance repository for datasets.lib.unb.ca |
Dec 14, 2022 |
|
PHP |
2 |
Lean instance repository for nbbib.lib.unb.ca |
Nov 02, 2022 |
|
PHP |
3 |
Lean instance repository for newspapers.lib.unb.ca |
Nov 01, 2022 |
|
XSLT |
2 |
Lean instance repository for unbscholar.dspace.lib.unb.ca |
Nov 02, 2022 |
|
mIRC Script |
8 |
Penn State University Libraries' Blacklight Catalog |
Mar 10, 2022 |
|
mIRC Script |
6 |
TIMDEX Is Making Discovery EXcellent @ MIT |
Apr 13, 2023 |
|
mIRC Script |
4 |
Extract format/type information from MARC records, as used at the University of Michigan's University Library |
May 24, 2022 |
|
mIRC Script |
2 |
None |
Dec 14, 2022 |
|
mIRC Script |
4 |
Library Carpentry: MarcEdit |
Feb 06, 2023 |
|
mIRC Script |
47 |
Downloadable MARC records from the U.S. Government Publishing Office. |
Mar 06, 2023 |
|
mIRC Script |
2 |
Chatbot RPG de Dragon Ball integrado a Twitch.tv |
Jun 18, 2022 |
|
mIRC Script |
2 |
Chatbot RPG com a temática de Harry Potter |
Jun 18, 2022 |
|
mIRC Script |
2 |
Penn State University Libraries' Blacklight Catalog Traject Indexer |
May 02, 2022 |
|
mIRC Script |
2 |
Ideograph Cipher - Proof of Concept |
Jun 11, 2022 |
|
mIRC Script |
2 |
** DEPRECATED: Closed ** RMB based module used to load test data |
Feb 05, 2021 |
|
mIRC Script |
2 |
Task and issue tracking for migration of Lane Library data from Voyager to FOLIO |
May 19, 2022 |
|
mIRC Script |
3 |
An IRCd written in mIRC scripting language (mSL) and more or less based on ircu … |
Jul 30, 2022 |
|
mIRC Script |
3 |
None |
Aug 12, 2022 |
|
mIRC Script |
2 |
Repository that houses tools and performance testing scripts |
Feb 27, 2023 |
|
mIRC Script |
4 |
Solr configuration of findex.gbv.de |
Apr 11, 2023 |
|
mIRC Script |
2 |
code for converting MARC data to Wikidata statements using OpenRefine |
Dec 16, 2021 |
|
mIRC Script |
2 |
mIRC Scripts for CyIRC |
Jun 11, 2022 |
|
mIRC Script |
2 |
znc.mrc for mirc support ZNC - Menu ZNC |
Dec 12, 2022 |
|
mIRC Script |
3 |
Python packaging notes for PyCon Balkan 2018. |
Mar 08, 2023 |
|
mIRC Script |
9 |
Exchange repository for ACO project |
Mar 02, 2022 |
|
mIRC Script |
2 |
My mIRC remotefile |
May 12, 2023 |
|
mIRC Script |
37 |
SolrMarc is a utility that reads in MARC records, extracts information from various fields as … |
Mar 29, 2023 |
|
mIRC Script |
5 |
mIRC Scripts that I made |
Feb 06, 2023 |
|
Lean |
6 |
Repository for ANU summer students learning Lean |
Feb 16, 2023 |
|
Lean |
2 |
Development repository of a hammer for Lean. |
Feb 22, 2024 |
|
Dockerfile |
2 |
Repository for our deployed metabase instance |
Nov 17, 2022 |
|
HTML |
27 |
The user home repository for the Mathematics in Lean tutorial. |
Jul 31, 2022 |
|
HTML |
3 |
The user home repository for the Mathematics in Lean tutorial. |
Aug 03, 2022 |
|
Haskell |
16 |
the global haskell instance repository |
May 26, 2021 |
|
Python |
61 |
Official repository for Instance Human Matting via Mutual Guidance and Multi-Instance Refinement |
May 11, 2023 |
|
Lean |
3 |
Completely unofficial Lean repository for the undergraduate analysis M40002/M40010 course |
Mar 05, 2022 |
|
Lean |
2 |
Lean |
Apr 21, 2023 |
|
Lean |
4 |
Subtasks algorithm for Lean |
Jun 02, 2022 |
|
Emacs Lisp |
52 |
Emacs mode for Lean |
Jul 24, 2022 |
|
Lean |
130 |
Lean stuff for M40001 |
Aug 07, 2022 |
|
C |
3 |
OpenSSL bindings for Lean |
Mar 11, 2022 |
|
Lean |
7 |
Parser combinators for Lean |
Aug 10, 2022 |
|
TypeScript |
2 |
Server for lean-chat |
Sep 20, 2022 |
|
Lean |
3 |
CSV for Lean 4. |
Mar 16, 2023 |
|
Lean |
3 |
Parser combinators for Lean |
Mar 16, 2023 |
|
Groovy |
84 |
Repository containing scripting for the dotnet-ci Jenkins instance. |
Jan 19, 2022 |
|
Lean |
15 |
Lean mathzoo |
May 17, 2022 |
|
C++ |
26 |
Lean STL |
Feb 21, 2022 |