☆11Jan 8, 2020Updated 6 years ago
Alternatives and similar repositories for HackerRank-Functional-Programming
Users that are interested in HackerRank-Functional-Programming are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- A Python module that allows you to play Wikipedia's "Getting to Philosophy" game programmatically☆11Oct 10, 2026Updated 2 weeks ago
- Formal verification of the Intmax protocol in Lean.☆11Jun 20, 2025Updated last year
- ☆12May 14, 2023Updated 3 years ago
- A proof of the consistency of ZF in axiom-free Lean☆23Sep 19, 2026Updated last month
- 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.
- Repo to hold the ERC data and the plot of the attractiveness of EU countries in term of ERC grantees☆16Dec 14, 2022Updated 3 years ago
- A simple tool for monitoring the progress of OpenFOAM simulations☆13Nov 9, 2018Updated 7 years ago
- Some functions to plot OpenFOAM data with Matplotlib☆11Apr 15, 2021Updated 5 years ago
- Mostly python scripts using pyFoam for automatically running OpenFOAM cases with different parameters.☆10Dec 15, 2012Updated 13 years ago
- Examples of bash, make, cmake building☆20Nov 3, 2025Updated 11 months ago
- Matlab toolbox for generating block structured hex meshes in the polyMesh file format of OpenFOAM.☆15Jan 2, 2013Updated 13 years ago
- ☆11Apr 9, 2022Updated 4 years ago
- ☆26May 13, 2026Updated 5 months ago
- Group Project: CFD solver taking heat into account, with transport of chemical substances and chemical reactions.☆12Oct 24, 2017Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Building Data Warehouse on BigQuery which takes flat file as the data sources with Airflow as the Orchestrator☆13May 23, 2021Updated 5 years ago
- Lean ported to Javascript with Emscripten☆27Jun 27, 2017Updated 9 years ago
- A data pipeline with Kafka, Spark Streaming, dbt, Docker, Airflow, and GCP!☆12Jul 6, 2023Updated 3 years ago
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆24Dec 12, 2021Updated 4 years ago
- A Python package for working with OpenFOAM.☆16Oct 2, 2024Updated 2 years ago
- Python wrapper for OpenFOAM meshes☆13Sep 16, 2025Updated last year
- ☆25Dec 10, 2021Updated 4 years ago
- 使用invokedynamic实现的零依赖StableValue用于取代DCL模式☆13Sep 23, 2025Updated last year
- Port of cgnsToFoam from TurbMachinery SIG to OpenFOAM 5.x and newer☆17Sep 19, 2023Updated 3 years ago
- 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.
- This repositoray includes all exercises solutions for Tracks, Courses and Projects that I have finished on datacamp☆15Sep 14, 2020Updated 6 years ago
- Misc simulation cases☆14Dec 18, 2017Updated 8 years ago
- postProcessing tool for OpenFOAM, transform OpenFOAM fields to one single file by columns☆18May 11, 2021Updated 5 years ago
- Add a passive scalar transport equation to the pimpleFoam solver in OpenFOAM☆17Jul 2, 2022Updated 4 years ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆28Mar 10, 2026Updated 7 months ago
- ☆13Oct 28, 2014Updated 12 years ago
- This guide will demonstrate how to deploy a minimal Apache Kafka cluster on Docker and set up producers and consumers using Python. We wi…☆18Nov 15, 2020Updated 5 years ago
- ☆36May 31, 2023Updated 3 years ago
- A toy example of a verified compiler.☆32Apr 7, 2026Updated 6 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- OpenFOAM-7 third-party library compilation scripts☆12Jun 9, 2020Updated 6 years ago
- A self-contained, ready to run Airflow and Kafka project. Can be run locally or within codespaces.☆16Jul 15, 2023Updated 3 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆35Jan 17, 2022Updated 4 years ago
- Annotated solutions to HackerRank's SQL domain questions.☆10Aug 4, 2019Updated 7 years ago
- ☆13Apr 25, 2022Updated 4 years ago
- AsmrProg Youtube Channel Responsive AI Landing Page Source Code.☆26Jul 31, 2024Updated 2 years ago
- Multiplatform processing of CFD simulations with AR/VR☆22Aug 2, 2023Updated 3 years ago