findlayjy

findlayjy's Stars

• daghaug/linear-logic-nd

  A linear logic prover that produces proofs in natural deduction with proof terms

  Language:Python1

• tbanel/uniline

  enhance your texts with UNICODE drawings in Emacs

  Language:Emacs Lisp912

• Ars-Linguistica/PyLFG

  PyLFG is a Python library for working within the Lexical Functional Grammar (LFG) formalism. It provides a set of classes and methods for representing and manipulating LFG structures, including f-structures and c-structures.

  Language:Python83

• saraswat/instant-glue

  Continuing development of Kokkinidis' Instant Glue prover (in Prolog) for multiplicative linear logic (*, -o).

  Language:Prolog2

• MichaelMakesGames/stellarmaps

  Stylized maps from Stellaris saves

  Language:TypeScript492

• yanaiela/amnesic_probing

  Language:Python3710

• allenai/wimbd

  What's In My Big Data (WIMBD) - a toolkit for analyzing large text datasets

  Language:Python19820

• projectmesa/mesa

  Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.

  Language:Python2.7k917

• fniessen/org-html-themes

  Transform your Org mode files into stunning HTML documents in minutes with our Org mode HTML theme. Elevate your productivity and impress your readers! #orgmode #html #theme #productivity #design

  Language:CSS2.2k435

• anishathalye/dotbot

  A tool that bootstraps your dotfiles ⚡️

  Language:Python7.2k294

• mlabonne/llm-course

  Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

  Language:Jupyter Notebook40.4k4.3k

• dreamsofcode-io/tmux

  54698

• daviwil/dotfiles

  [MIRROR] The path to GNUrvana

  Language:Emacs Lisp833178

• Mmaz1988/GlueSemWorkbench_v2

  The Glue semantics workbench provides two Glue provers for calculating semantic representations based on the semantic formalism Glue semantics.

  Language:Java51

• ollama/ollama

  Get up and running with Llama 3.3, Mistral, Gemma 2, and other large language models.

  Language:Go105k8.4k

• enricoflor/typetypes

  Type and format type signatures in LaTeX and stay sane

  Language:TeX3

• shreyanshk/sdf

  SDF: Sane DotFiles manager

  Language:Go111

• ChrisTitusTech/nixos-titus

  Titus's personal NIX OS Configuration

  Language:Nix23742

• HugoBlox/theme-academic-cv

  🎓 无需编写任何代码即可轻松创建漂亮的学术网站 Easily create a beautiful academic résumé or educational website using Hugo and GitHub. No code.

  Language:TeX4.1k6.4k

• frogduckhybrid/frogmacs

  My emacs config file

  Language:YASnippet4

• SystemCrafters/org-website-example

  An example of a website published with Org Mode and Emacs!

  Language:Emacs Lisp3119

• Universal-NLU/DRASTIC

  Dataset and scripts for the DRASTIC corpus of DRS-annotated texts

  Language:Python11

• Universal-NLU/UNLU

  Semantic translation rules and code for running the pipeline used in the Universal Natural Language Understanding project

  Language:Python1

• select/google-docs-bibtex-cite

  This is what you have waited for: use BibTeX citations in Google Docs

  Language:JavaScript6816

• alshedivat/al-folio

  A beautiful, simple, clean, and responsive Jekyll theme for academics

  Language:HTML11.6k11.4k

• stefan11/grammar-references

  References of written and edited volumes by Stefan Müller

  Language:TeX4

• yairm210/Unciv

  Open-source Android/Desktop remake of Civ V

  Language:Kotlin8.7k1.6k

• letstalkaboutdune/AbsoluteUnits

  A set of detailed unit sprites for Unciv, designed for the HexaRealm tileset. Please leave a star if you like it!

  622

• timmli/TimmLiTeX

  Collection of LaTeX settings and templates

  Language:TeX4

• mehedirm6244/Miserable_Xfce

  My miserable dotfiles for Xfce

  Language:CSS42725