jendeley is a JSON-based document organizing software.
☆129Dec 16, 2024Updated last year
Alternatives and similar repositories for jendeley
Users that are interested in jendeley are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 疲労困憊していても書ける優しいプログラミング言語のコンパイラ☆11Dec 25, 2025Updated 9 months ago
- ☆34Feb 26, 2023Updated 3 years ago
- Opcode / Instruction finder for x86_64☆83Aug 16, 2026Updated last month
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆56Dec 15, 2025Updated 9 months ago
- ☆49May 12, 2025Updated last year
- 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.
- My timeline☆15Updated this week
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 4 years ago
- rv32/64imac emulator☆32Aug 26, 2024Updated 2 years ago
- Math matrix library for SATySFi☆14Oct 15, 2019Updated 6 years ago
- Misskey client for Vim/Neovim☆25Feb 16, 2023Updated 3 years ago
- cms for watasuke.net☆11Jul 29, 2024Updated 2 years ago
- Replace `vim.ui.select` with ddu☆17Aug 11, 2025Updated last year
- A random grad thesis about Julia☆33Sep 11, 2020Updated 6 years ago
- ☆15Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆14May 27, 2022Updated 4 years ago
- 低レベルコンテナランタイム自作講座☆30Updated this week
- Rust wrapper of libtracecmd☆26Nov 2, 2023Updated 2 years ago
- Program which generates ASCII pictures of a kuu with a message [maintainers=@natsukium]☆11Oct 17, 2024Updated last year
- ☆30Mar 25, 2024Updated 2 years ago
- ☆13May 9, 2023Updated 3 years ago
- 手を動かせばできるLLVMバックエンド チュートリアル（WIP）☆43May 12, 2022Updated 4 years ago
- nvim-cmp source for skkeleton☆10Nov 26, 2023Updated 2 years ago
- 2048 but the goal is to merge into biáng.☆17Feb 26, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆12Aug 7, 2026Updated last month
- A statically typed functional programming language.☆45Updated this week
- かな漢 字変換エンジン SKKのための新しい辞書形式☆28Sep 22, 2023Updated 3 years ago
- ☆19Jan 29, 2019Updated 7 years ago
- sloader is an ELF loader which aims to replace ld-linux.so of glibc.☆164Nov 5, 2023Updated 2 years ago
- Everything I own☆27Updated this week
- This is web browser for studying.☆14Nov 3, 2021Updated 4 years ago
- texliveがフルインストールされたdevcontainer☆24Mar 31, 2024Updated 2 years ago
- Finding all pairs of similar documents time- and memory-efficiently☆62Mar 13, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- functional programming language and its compiler☆18Oct 22, 2019Updated 6 years ago
- provides Rust interface of fetching youtube live chat comments☆11Dec 16, 2024Updated last year
- ☆11Jul 4, 2022Updated 4 years ago
- lightweight full-text search engine for statice site.☆15Oct 25, 2025Updated 11 months ago
- Efficient Container Image Updating with Delta Encoding☆20Jul 2, 2025Updated last year
- A thin-hypervisor that runs on aarch64 CPUs.☆104May 28, 2026Updated 4 months ago
- Semantic Type Soundness in Lean 4☆19Updated this week