The extensive approach to SLE bibliography
☆30Jun 21, 2020Updated 6 years ago
Alternatives and similar repositories for bibsleigh
Users that are interested in bibsleigh are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Engage!☆11Aug 12, 2023Updated 3 years ago
- Artificial Intelligence.☆11Apr 28, 2015Updated 11 years ago
- show flycheck errors in the frame title☆10Mar 21, 2021Updated 5 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- blog.mattbierner.com☆10Jun 16, 2026Updated 4 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- AI Commit Messages Autocomplete for InteliJ☆24Jan 24, 2023Updated 3 years ago
- Create Synchronicity is an easy, fast and powerful backup application. It synchronizes files & folders, has a neat interface, and can sch…☆13Jun 5, 2011Updated 15 years ago
- Compilation script and wrapper for Z3 compiled through Emscripten☆12May 27, 2016Updated 10 years ago
- GitBook-inspired documentation theme for Jekyll☆11Dec 13, 2022Updated 3 years ago
- A simple class-based object model for JavaScript☆16Aug 13, 2024Updated 2 years ago
- 5e Spells☆11May 24, 2026Updated 5 months ago
- OCaml bindings for RE2☆46Updated this week
- C++-to-webassembly testbed, in the form of a simple graphics library☆14Apr 23, 2019Updated 7 years ago
- OCaml as a Tactic Language for the Rocq Prover☆22Oct 27, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- OptiTrust☆16Updated this week
- Call any function with command-like syntax at runtime (with automatic argument management). No dependencies, no boilerplate code, no macr…☆12Dec 25, 2022Updated 3 years ago
- The Universal Turing Machine implemented in NXC, which runs on the LEGO device we made: http://www.legoturingmachine.org☆32Jul 31, 2012Updated 14 years ago
- The Stratego program transformation language☆36Jun 18, 2026Updated 4 months ago
- Cask support for Flycheck☆15Feb 5, 2024Updated 2 years ago
- Coverage and timing tool for font-lock keywords☆17Jan 4, 2025Updated last year
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 9 years ago
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 5 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆19Aug 5, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Proposal to investigate additional language features for ECMAScript Regular Expressions☆21Aug 28, 2021Updated 5 years ago
- Show symbol list when opening a binary file in Emacs☆19Oct 9, 2016Updated 10 years ago
- My Submissions in LeetCode Using Ruby and Python☆10Aug 29, 2019Updated 7 years ago
- Reflection library for Coq☆12Sep 26, 2019Updated 7 years ago
- Literate coq blog posts☆17Jan 13, 2016Updated 10 years ago
- OCaml support for Flycheck using Merlin☆21Aug 10, 2026Updated 2 months ago
- Destiny 2 number cruncher☆15May 20, 2026Updated 5 months ago
- Package for Unity that provides functionality for cross-scene references. Inspired by https://github.com/Unity-Technologies/guid-based-re…☆14May 8, 2021Updated 5 years ago
- ☆15Sep 21, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Create Tex preview from calc-trail-buffer for better readability.☆12Feb 20, 2023Updated 3 years ago
- Enhance your Destiny 2 gaming experience with Felicity, a powerful Discord bot. Track your craftable weapon patterns, view emblem informa…☆10May 6, 2025Updated last year
- A plugin with App Tracking Transparency integration for an Unreal Engine project.☆10Oct 21, 2021Updated 5 years ago
- A Unity3D MIDI player with instruments defined in sfz format, using sfizz as the underlying sampler.☆13Feb 9, 2022Updated 4 years ago
- An eno parsing library available for JavaScript, Python, Ruby and Rust☆23Apr 29, 2022Updated 4 years ago
- A Presentation on a simple code kata and an analysis of the decisions made throughout the coding session.☆11Sep 14, 2022Updated 4 years ago
- RPG, Open World, Personality Test with nice graphics☆20Feb 4, 2022Updated 4 years ago