Giters
wzei

wzei

Geek Repo

12

followers

11

following

7

stars

Github PK Tool:Github PK Tool

wzei's repositories

42homebrew

Install Homebrew on 42 sessions

Language:ShellStargazers:0Issues:0Issues:0

agda_solutions

My solutions and profs for exercises with Agda language.

Language:AgdaStargazers:0Issues:1Issues:0

ft_ls

Language:CStargazers:0Issues:0Issues:0

get_next_line

42 project Get_Next_Line

Language:CStargazers:0Issues:0Issues:0

github_actions_cpp_test00

Checking capabilities of Github Actions on a sample CPP code.

Stargazers:0Issues:1Issues:0

ium_sub

Stargazers:0Issues:1Issues:0

libft

Language:CStargazers:0Issues:0Issues:0

mal

mal - Make a Lisp

Language:AssemblyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

micro-lisp

🎄A very small Lisp programming language 😀that used to be under 200 lines of C🎄

Language:CLicense:MITStargazers:0Issues:0Issues:0

minishell

Language:CStargazers:0Issues:1Issues:0

my_configs

Language:Emacs LispStargazers:0Issues:1Issues:0

natural_number_game

Building the natural numbers in Lean.

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

wzei_coffie

Language:PythonStargazers:0Issues:1Issues:0