199 lines
5.6 KiB
HTML
199 lines
5.6 KiB
HTML
<!doctype html>
|
|
<html lang="en-us">
|
|
|
|
<head>
|
|
<meta name="generator" content="Hugo 0.147.8">
|
|
<meta charset="utf-8">
|
|
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
|
|
<title> St. Page </title>
|
|
<meta name="HandheldFriendly" content="True">
|
|
<meta name="MobileOptimized" content="320">
|
|
<meta name="referrer" content="no-referrer">
|
|
<meta property="og:site_name" content="St. Page">
|
|
<meta property="og:locale" content="en_US">
|
|
|
|
<meta property="og:url" content="https://st.pages.except.one/">
|
|
<meta property="og:site_name" content="St. Page">
|
|
<meta property="og:title" content="St. Page">
|
|
<meta property="og:locale" content="en_us">
|
|
<meta property="og:type" content="website">
|
|
|
|
|
|
<meta name="twitter:card" content="summary_large_image">
|
|
|
|
<meta name="twitter:title" content="St. Page">
|
|
<meta name="twitter:description" content="">
|
|
|
|
|
|
<meta name="twitter:image" content="https://st.pages.except.one/">
|
|
<link rel="canonical" href="https://st.pages.except.one/">
|
|
|
|
<link rel="stylesheet" href="/css/site.min.css">
|
|
<link rel="stylesheet" href="https://st.pages.except.one/css/custom.css">
|
|
|
|
<link rel="alternate" type="application/rss+xml" href="https://st.pages.except.one/index.xml" title="St. Page">
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<div class="mt-xl header">
|
|
<header>
|
|
<div class="container">
|
|
<div class="row justify-content-center">
|
|
<div class="col-auto">
|
|
<a href="https://st.pages.except.one/" style="display: contents">
|
|
<h1 class="name text-center">My Page</h1>
|
|
</a>
|
|
</div>
|
|
</div>
|
|
<div class="row justify-content-center">
|
|
<div class="nav justify-content-center">
|
|
<ul>
|
|
|
|
<li class="nav-item justify-content-center mx-auto">
|
|
<a class="nav-link" href="/">
|
|
|
|
Home
|
|
</a>
|
|
</li>
|
|
|
|
<li class="nav-item justify-content-center mx-auto">
|
|
<a class="nav-link" href="/about">
|
|
|
|
About
|
|
</a>
|
|
</li>
|
|
|
|
<li class="nav-item justify-content-center mx-auto">
|
|
<a class="nav-link" href="/blog">
|
|
|
|
Blog
|
|
</a>
|
|
</li>
|
|
|
|
<li class="nav-item justify-content-center mx-auto">
|
|
<a class="nav-link" href="/projects">
|
|
|
|
Projects
|
|
</a>
|
|
</li>
|
|
|
|
<li class="nav-item justify-content-center mx-auto">
|
|
<a class="nav-link" href="https://git.except.one">
|
|
|
|
Git
|
|
</a>
|
|
</li>
|
|
|
|
|
|
</ul>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</header>
|
|
</div>
|
|
|
|
<div class="content">
|
|
<div class="container">
|
|
<div class="row justify-content-center">
|
|
<div class="col-sm-12 col-lg-8">
|
|
<div class="mx-0">
|
|
<center>Hi!</center>
|
|
|
|
</div>
|
|
<hr>
|
|
<div class="mx-0 chunk-sm posts">
|
|
<div class="row recent-articles">
|
|
<h4 class="justify-content-center some-weight col-auto" style="margin-bottom: 0px;">Recent articles</h4>
|
|
</div>
|
|
|
|
<div class="container">
|
|
<span class="justify-content-center row col-auto mx-0 chunk-sm">
|
|
<a class="col-auto more-links justify-content-center text-center" href="https://st.pages.except.one/blog">
|
|
More articles
|
|
</a>
|
|
</span>
|
|
</div>
|
|
</div>
|
|
<hr>
|
|
|
|
<div class="chunk-sm posts">
|
|
<div class="row">
|
|
<h4 class="justify-content-center some-weight col-auto" style="margin-bottom: 1rem">Projects</h4>
|
|
</div>
|
|
<div>
|
|
<ul class="list-unstyled">
|
|
<li>
|
|
|
|
<div class="meta-title">
|
|
<a href="https://code.except.one/st/lama_byterun/src/branch/byterun_dev_1.30">Bytecode Interpreter</a>:
|
|
Interpreter for LaMa language bytecode
|
|
</div>
|
|
|
|
<div class="meta-title">
|
|
<a href="https://code.except.one/st/truffle_lama">Truffle Implementation of the LaMa Language</a>:
|
|
Interpreter for the LaMa language built on top of the graalvm truffle framework (part.)
|
|
</div>
|
|
|
|
<div class="meta-title">
|
|
<a href="https://code.except.one/st/prog_synthesis">Implementation of the Escher Algorithm</a>:
|
|
Algorithm for the recursive program synthesis from paper
|
|
</div>
|
|
|
|
<div class="meta-title">
|
|
<a href="https://code.except.one/st/pattern_matching">Simple Active Patern Matching</a>:
|
|
Pattern matching using regular terms instead of the special patterns notion (draft)
|
|
</div>
|
|
|
|
<div class="meta-title">
|
|
<a href="https://code.except.one/st/lang_2023">Language Parser, Interpreter and Type Checker</a>:
|
|
First version of the programming language (part.)
|
|
</div>
|
|
|
|
<div class="meta-title">
|
|
<a href="https://code.except.one/st/lang">Language Parser, Interpreter and Type Checker</a>:
|
|
Second version of the programming language (part.)
|
|
</div>
|
|
|
|
<div class="meta-title">
|
|
<a href="https://code.except.one/st/lang_modes_check">Language Modes Check Project</a>:
|
|
Simple lambda calculus with types and _unique_ mode check implementation (Oxidized OCaml paper)
|
|
</div>
|
|
|
|
<div class="meta-title">
|
|
<a href="https://code.except.one/st/build_system_2022">Parallel Test System Task</a>:
|
|
Thread pool implementation
|
|
</div>
|
|
|
|
</li>
|
|
</ul>
|
|
</div>
|
|
|
|
</div>
|
|
|
|
<div class="container">
|
|
<span class="justify-content-center row col-auto mx-0 chunk-sm" style="padding-top: 1.2rem">
|
|
<a class="col-auto more-links justify-content-center text-center" href="https://st.pages.except.one/projects">
|
|
More projects
|
|
</a>
|
|
</span>
|
|
</div>
|
|
|
|
</div>
|
|
|
|
<hr class="footer-linebreak">
|
|
<div class="container">
|
|
<span class="row justify-content-center meta" id="footer">
|
|
Copyright © 2025 St.
|
|
</span>
|
|
<script defer src="https://st.pages.except.one/js/custom.js"></script>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
</body>
|
|
|
|
</html>
|