The third home of the bare Programming Language (1st there's my heart, the forest came second and then there's Github :)

Last update: Dec 24, 2022

Overview

the Bare PL

 $$$$$$$$$$$$**$$$$$$$$$**$$$$$$$$$$$$$$$
 $$$$$$$$$$"   ^$$$$$$F    *$$$$$$$$$$$$$
 $$$$$$$$$     z$$$$$$L    ^$$$$$$$$$$$$$
 $$$$$$$$$    e$$$$$$$$$e  J$$$$$$$$$$$$$
 $$$$$$$$$eee$$$$$$$$$$$$$e$$$$$$$$$$$$$$
 $$$$$$$$b$$$$$$$BARE$$$$$$$*$$$$$$$$$$$$
 $$$$$$$)$$$$P"e^$$$F$r*$$$$F"$$$$$$$$$$$
 $$$$$$$d$$$$  "z$$$$"  $$$$%  $3$$$$$$$$     
 $$$$*"""*$$$  .$$$$$$ z$$$*   ^$e*$$$$$$
 $$$"     *$$ee$$$$$$$$$$*"     $$$C$$$$$
 $$$.      "***$$"*"$$""        $$$$e*$$$
 $$$b          "$b.$$"          $$$$$b"$$
 $$$$$c.         """            $$$$$$$^$

Lean = Lean Code + Lean Maschine

The first implementation of bare (called Lean as a word play for Lín, western representation of the chinese 林 - forest) was done resembling the Java runtime, where an intermediate representation is produced from the source code (Lean Code) and it is then executed in a compatible machine (such as the Lean Maschine). You can check out more details covering from the rationale to a deep analysis of how bare came to be right here (Pt-BR only).

Running

python3 bare.py

Authors

Garren Souza
Pedro L. Mondadori

The third home of the bare Programming Language (1st there's my heart, the forest came second and then there's Github :)

Related tags

Overview

the Bare PL

Lean = Lean Code + Lean Maschine

Running

Authors

License

You might also like...

Automated GitHub profile content using the USGS API, Plotly and GitHub Actions.

Dicionario-git-github - Dictionary created to help train new users of Git and GitHub applications

Built with Python programming language and QT library and Guess the number in three easy, medium and hard rolls

Built with Python programming language and QT library and Guess the number in three easy, medium and hard rolls

Analyzes crypto candles over a set time period and then trades based on winning patterns found

This Python3 script will monitor Upwork RSS feed and then email you the results.

Configure request params such as text, color, size etc. And then download the image

The learning agent learns firstly approaching to the football and then kicking the football to the target position

An esoteric programming language that supports concurrency, regex, and web requests.

Releases(v.09)

v.09(Nov 30, 2021)

Owner

Garren Souza

Replite - An embeddable REPL powered by JupyterLite

A python script to make leaderboards using a CSV with the runners name, IDs and Flag Emojis

HSPICE can not perform Monte Carlo (MC) simulations while considering aging effects

LibreMind is a free meditation app made in under 24 hours. It has various meditation, breathwork, and visualization exercises.

A little tool that uses LLVM to extract simple "what does this do" level instruction information from all architectures.

Chemical Analysis Calculator, with full solution display.

Huggingface package for the discrete VAE used for DALL-E.

Desafio Final do Mod1 do Bootcamp EDC - v2 usando a RAIS

Convert three types of color in your clipboard and paste it to the color property (gamma correct)

aaencode for python，把python代码转换为颜文字

Mnemosyne: efficient learning with powerful digital flash-cards.

A service to display a quick summary of a project on GitHub.

This is a simple bank management system based on Python.

Collaboration project to creating bank application maded by Anzhelica Sakun and Yuriy Konyukh

Traductor de webs desde consola usando el servicio de Google Traductor.

Grammar of Scalable Linked Interactive Nucleotide Graphics

A 3D Slicer Extension to view data from the flywheel heirarchy

A good Tool to comment on xmw

Python implementation of an automatic parallel parking system in a virtual environment, including path planning, path tracking, and parallel parking

🏆 A ranked list of awesome Python open-source libraries and tools. Updated weekly.