ajfAfg

pure-lisp

An implementation of 'McCarthy, John. "Recursive functions of symbolic expressions and their computation by machine, part I." Communications of the ACM 3.4 (1960): 184-195.'

ajfAfg.github.io

bean

A Rebar3 plugin that automatically generates a supervision tree based on dependencies between processes

dune_coq_example

icpc_domestic2022

icpc_domestic2023

icpc_domestic2021

fp-ts-vitest-research

ajfAfg

dekun

A Library in TypeScript that provides functions to return an AST string of a specified variable definition or function definition from a specified file

zenn-content

Zenn で公開中のコンテンツを管理しているリポジトリ

icpc_domestic2015_c

ICPC国内予選2015 C問題

icpc_domestic2021_c

ICPC国内予選2021 C問題

emojion

Emojion - Create and share images combined emoji and text

vsc-erlang-formatter

Erlang code formatter for Visual Studio Code

vscode-punched-card

A Visual Studio Code extension for jokes that allows editing files using punched cards

twitter-card-example

IoPLMaterials

Materials for the class "Implementation of Programming Languages" in Kyoto University.

atomic

A command that atomically runs commands received as arguments

talkoger

A prototype of an application to store and view conversations in real time

msw-operation-research

echo-websocket-example

nextjs-apollo-client-codegen

example

psil

A joke library like LISP

cargo-atcoder

Cargo subcommand for AtCoder

tex_image_link_generator

generate <img src="https://render.githubusercontent.com/render/math?math={tex}">

google-apps-script-utilities

Utilities using Google Apps Script

rebar3_to_core_plugin

A rebar plugin for compiling into Core Erlang

HaLLoween

HALLOWEEN! HALLOWEEN!

command-line-utility

cool command-line utilities