Theme for zola inspired by hugo academic theme.
☆29Oct 11, 2025Updated 5 months ago
Alternatives and similar repositories for kodama-theme
Users that are interested in kodama-theme are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- It will help speed up the development of a website and docs for your product☆15Jul 28, 2024Updated last year
- ☆11Feb 19, 2023Updated 3 years ago
- WebGL Multiplayer Game with WebRTC☆13Jan 25, 2023Updated 3 years ago
- Zola portfolio theme☆13Oct 15, 2024Updated last year
- Official webpage of the Programming Group on https://programming-group.com☆12Updated this week
- PCB design for the initial prototype of OBC hardware, to interface with LaunchPad.☆10Sep 19, 2018Updated 7 years ago
- ☆10Oct 28, 2022Updated 3 years ago
- Material for ProLaLa Keynote☆14Feb 4, 2022Updated 4 years ago
- ☆12Mar 13, 2024Updated 2 years ago
- A collection of actions for working with ROS data☆14Jun 11, 2025Updated 9 months ago
- A collection of interesting stuff to use with your Daylight Computer☆22Feb 11, 2026Updated last month
- OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)☆15Apr 21, 2019Updated 6 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- ☆13May 25, 2024Updated last year
- Highlighting of searches via star, auto-highlighting.☆16Mar 14, 2023Updated 3 years ago
- A kit (ok, specifically named git submodules and a list of instructions) for setting up an environment suitable for writing Rust targetin…☆11Apr 15, 2023Updated 2 years ago
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- Lightweight Python Wrapper for OpenVINO, enabling LLM inference on NPUs☆27Dec 17, 2024Updated last year
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 4 months ago
- Reading rosbag files in pure Rust☆14May 27, 2024Updated last year
- New paulie.dev site - 2023☆17Mar 10, 2026Updated last week
- 🗄 Command extensions for Homebrew that allow for easy modification of brew bundles.☆17May 28, 2024Updated last year
- ICP implementation in Rust☆15Jun 27, 2024Updated last year
- Numerical Optimisation Library☆17Jul 9, 2023Updated 2 years ago
- Switch between windows of the same app, or between apps, on Windows☆19Feb 21, 2026Updated last month
- ☆29Updated this week
- Provides machine-readable descriptions for rust types☆20Jun 24, 2024Updated last year
- This repository contains an implementation of Arduino APIs for CPUs like Jetson or Raspberry Pi for use with ROS2☆14Jun 20, 2023Updated 2 years ago
- Pastes clipboard image to a file☆14May 23, 2011Updated 14 years ago
- ☆25Aug 9, 2025Updated 7 months ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- An alternative simulator to gazebo for doing ROS 2 simulation☆14Sep 15, 2023Updated 2 years ago
- Designing Programs with Class☆28Jan 30, 2018Updated 8 years ago
- Model-Based Reinforcement Learning via Latent-Space Collocation.☆34Mar 29, 2023Updated 2 years ago
- Provides a number of additional Board and production house templates for KiCad☆13Feb 11, 2022Updated 4 years ago
- DigiForests Dataset Development Kit☆24Mar 16, 2026Updated last week
- cmake-ide as a spacemacs layer☆10Feb 3, 2016Updated 10 years ago
- Official Python client library for the ipdata API☆21Feb 25, 2026Updated 3 weeks ago
- Automatically add use statement imports for Rust from ST3☆10Apr 24, 2019Updated 6 years ago