Cours d'Exo7
☆60Mar 16, 2026Updated 2 months ago
Alternatives and similar repositories for cours-exo7
Users that are interested in cours-exo7 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Sample code for interacting with Firebase Realtime Database from plane HTML, Laravel and Arduino☆11Jul 16, 2023Updated 2 years ago
- Create zim packages out of regular websites☆10Jun 21, 2016Updated 9 years ago
- Physics Textbook (Openstax)☆23Jul 5, 2018Updated 7 years ago
- ☆25Jul 21, 2017Updated 8 years ago
- Unfolding of first-principle electronic band structure☆14Apr 23, 2023Updated 3 years ago
- 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.
- A non-contiguous byte output buffer for Rust☆14Jan 28, 2021Updated 5 years ago
- Source code of "How to learn Emacs" guide at https://david.rothlis.net/emacs/howtolearn.html☆44Jul 26, 2014Updated 11 years ago
- A script that automatically backs up all (or a subset of) your Overleaf projects to a local folder, and optionally pushes to Github or a …☆14Oct 29, 2021Updated 4 years ago
- A Scala.js library for building user interfaces☆13May 30, 2023Updated 3 years ago
- An application for school☆10Dec 7, 2022Updated 3 years ago
- ☆12Apr 17, 2025Updated last year
- java.security implementation for Scala Native☆12Mar 16, 2026Updated 2 months ago
- Command Line Interface for Scala Native☆19May 22, 2026Updated 3 weeks ago
- Miscellaneous IPython notebooks about chemical physics and science teaching.☆13Feb 11, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆17Feb 16, 2020Updated 6 years ago
- Enforces shaded package and artifact names to ensure binary compatibility across major library versions☆12Nov 6, 2023Updated 2 years ago
- A Python package for creating xmgrace files.☆19Aug 21, 2023Updated 2 years ago
- Trustfall adapter for querying rustdoc☆20Jun 5, 2026Updated last week
- Follow the progress of Emmanuel Macron's governement☆13Aug 16, 2023Updated 2 years ago
- Delimiter-separated values (DSV) format parser for GNU Guile.☆19Apr 4, 2026Updated 2 months ago
- Swip app api with actix-web + juniper (graphql) + MariaDB☆13Oct 7, 2018Updated 7 years ago
- Qt6 based pen application for pardus☆24Jun 5, 2026Updated last week
- A large Java based build to use when benchmarking and profiling Gradle☆14Jun 5, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Generation of test case data for Scala and Java, in the spirit of QuickCheck. When your test fails, it gives you a minimised failing test…☆20Jun 5, 2026Updated last week
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated 2 years ago
- Website to generate printable layout of standard french keyboard AZERTY NF Z71-300☆13Aug 29, 2024Updated last year
- An implementation of ScalaLab for Scala 3 (Dotty)☆17Dec 19, 2022Updated 3 years ago
- Open Source Precollege Algebra Textbook☆23Mar 10, 2026Updated 3 months ago
- Plugin for IntelliJ IDEA that folds and unfolds logger method calls in Java and Kotlin files. Supports JUL, slf4j, Apache Commons Logging…☆16Jan 30, 2024Updated 2 years ago
- A Mill plugin to help making publishing to Sonatype from GitHub Actions easier.☆16Apr 18, 2025Updated last year
- [deprecated]dotty version of paradise for interfacing with scala.meta☆11Mar 8, 2017Updated 9 years ago
- benchmark compilation of Dotty☆17Feb 6, 2024Updated 2 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.
- Procedural Generation voxel game. A Minecraft Clone. Discontinued, check my other projects, you can still ask questions in issues.☆18Jul 3, 2020Updated 5 years ago
- A minimalistic Scala language-server☆14Sep 12, 2019Updated 6 years ago
- RPM package for the git client GitKraken☆12Apr 22, 2020Updated 6 years ago
- A simple, extensible Slack client for Scala.☆19Jul 3, 2020Updated 5 years ago
- Test framework for Dotty☆13Sep 17, 2020Updated 5 years ago
- A knowledge base of Dotty internals and all things related☆20Jul 25, 2019Updated 6 years ago
- Idiomatic and FFI Safe dyn traits in Rust☆21May 19, 2023Updated 3 years ago