• Stars
    star
    1
  • Language
    Rust
  • Created almost 2 years ago
  • Updated over 1 year ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Building an expression transformer in Rust. It is similar to Coq.

More Repositories

1

instagram-clone

Demonstrating how to build and deploy fault tolerant distributed systems by building a battle tested Instagram Clone | For educational purposes only
Rust
4
star
2

cyfrin-web3

Getting into web3 - Blockchains | Smart Contracts | NFTs | Stablecoins | DAOs | Upgradable Contracts | Security and Auditing
Solidity
2
star
3

hexagonal-architecture-in-go

Implementing Hexagonal Architecture in GoLang
Go
2
star
4

cloudnative-tools

Exploring Cloudnative and Kubernetes
2
star
5

kubernetes-cicd-with-argo

Building an end to end CloudNative fully automated CI/CD pipeline for Kubernetes using the Argo ecosystem
HCL
2
star
6

porth

Building a stack based programming language called Porth, which is inspired from the programming language Forth
Python
2
star
7

microservices-with-kubernetes-template

A template distributed microservices system backed by Kubernetes and AWS.
Rust
2
star
8

lireddit

reddit clone using nest, nest, react-native, graphql, typescript and nx
TypeScript
1
star
9

wasm-demo

Getting started with WASM
JavaScript
1
star
10

Archisman-Mridha

README.md file for my GitHub profile
1
star
11

what-is-eBPF

Notes I made while reading `What is eBPF` by Liz Rice.
1
star
12

jetpack-compose-form-validation

Learning how to do form validation in Jetpack Compose
Kotlin
1
star
13

machine-learning-algorithms

My Machine Learning Journey
1
star
14

advanced-typescript

Switching my typescript level to ADVANCED !
TypeScript
1
star
15

circleci-argocd

Creating a CI/CD pipeline using CircleCI and ArgoCD for Kubernetes
1
star
16

leetcode

Solving Leetcode problems
Java
1
star
17

golang-backend-masterclass

Learning backend development with GoLang
Go
1
star
18

next-contentful

Next.JS with Contentful tutorial
JavaScript
1
star
19

advent-of-code

Solving problems from advent of code 2020 using multiple programming languages
Kotlin
1
star
20

quantum-computing

Quantum Computation using Qiskit
Jupyter Notebook
1
star
21

react-vite-ssr

Creating a server side rendered React application using Vite bundler and pnpm workspaces
JavaScript
1
star
22

aws-devops-professional

Preparing for the AWS DevOPs professional exam.
1
star
23

rust-design-patterns

Learning about Rust design patterns
Rust
1
star
24

distributed-sql-based-database-in-rust

Implementing a distributed SQL based database in Rust | For educational purposes only
Rust
1
star
25

event-sourcing-and-cqrs-with-spring-boot

Demonstrating Event Sourcing, CQRS and Saga using Spring Boot microservices
Java
1
star
26

mlops-tools

Exploring MLOps tools for managing CloudNative Machine Learning workloads. These tools will be used for my twitter clone MLOps project.
1
star
27

whatsapp-clone

Making a fault tolerant whatsapp clone using the soy boy stack - Typescript | NestJS | NextJS.
TypeScript
1
star
28

kubernetes-cloud-installations

Setting up a Kubernetes cluster on a cloud platform like Civo, AWS, Google Cloud and IBM Cloud
HCL
1
star