Materials for Computer Science students at University of Bucharest
☆15Jan 19, 2020Updated 6 years ago
Alternatives and similar repositories for FMI-public-materials
Users that are interested in FMI-public-materials are comparing it to the libraries listed below
Sorting:
- secure emojihash map☆46May 27, 2023Updated 2 years ago
- ☆22Feb 25, 2026Updated last week
- ☆12Apr 1, 2024Updated last year
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- SSM Parameter Store cache library☆10Sep 12, 2018Updated 7 years ago
- Automatically labels pull requests in your GitHub repository based on the size of changes.☆11Updated this week
- Repository with the code for running deep learning inference benchmarks on different AWS instances and service types.☆14Nov 19, 2024Updated last year
- Uses EMR clusters to export dynamoDB tables to S3 and generates import steps☆11Sep 16, 2022Updated 3 years ago
- Self-hosted email subscriptions list using serverless AWS stack☆11Aug 31, 2020Updated 5 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- ☆13Oct 9, 2023Updated 2 years ago
- A simple Rails Lambda Project on Docker to test Mac filesystems (https://github.com/docker/roadmap/issues/7) benchmarks for the Docker te…☆11Dec 2, 2022Updated 3 years ago
- ☆10Dec 20, 2021Updated 4 years ago
- Emoji-based Regular Expressions☆10Sep 13, 2018Updated 7 years ago
- The @honeycombio OpenTelemetry exporter for Golang☆12Dec 20, 2021Updated 4 years ago
- Simple, clean dark reddit theme.☆10Oct 6, 2017Updated 8 years ago
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 12 years ago
- Python module that generates token to authenticate against a Kubernetes EKS Cluster☆12Jul 8, 2018Updated 7 years ago
- Newsletter Backend Orchestration Template in AWS with SST☆15Jun 20, 2024Updated last year
- Draco is a script to convert reddit thread to Org document☆10Aug 9, 2022Updated 3 years ago
- Adds XML linting, schema support and formatting to Nova☆11Mar 1, 2026Updated last week
- ☆10Jan 10, 2022Updated 4 years ago
- A computer algebra system (CAS) for high school students☆14Dec 26, 2018Updated 7 years ago
- Graphical mathematics visualizer in OpenGL☆13Apr 24, 2024Updated last year
- Terraform module to integrate Honeycomb and AWS☆12Nov 6, 2025Updated 4 months ago
- ☆13Feb 18, 2026Updated 2 weeks ago
- Awesome Stuff on LaunchDarkly☆11Aug 16, 2024Updated last year
- Host Internal Static Website on AWS☆17Dec 6, 2023Updated 2 years ago
- Example project for a GraphQL API build with Ruby and deployed to AWS Lambda☆14Dec 30, 2022Updated 3 years ago
- Full stack applications build with AWS CDK☆14Feb 14, 2022Updated 4 years ago
- Rails support for Fly-io☆12Dec 20, 2022Updated 3 years ago
- ▶️ GitHub Action to download and install the Depot CLI☆15Feb 4, 2026Updated last month
- ☆17Mar 15, 2024Updated last year
- A Terraform module for running Honeycomb.io's Refinery on AWS using ECS on Fargate☆10Apr 18, 2022Updated 3 years ago
- ☆15Sep 6, 2022Updated 3 years ago
- LaunchDarkly Server-Side SDK for Haskell☆15Feb 24, 2026Updated last week
- Benchmark serverless .NET projects under various compilation options, deployment configurations, and architectures on AWS Lambda☆11Oct 12, 2022Updated 3 years ago
- The repository for the zine☆31Aug 17, 2015Updated 10 years ago
- Terraform module that creates an RKE cluster, meant to serve as nothing but a highly-available Rancher "master" cluster☆13Jan 11, 2021Updated 5 years ago