Giter VIP home page Giter VIP logo

Copyright © 2014-2023 Roy Pfund All rights reserved.

Use of this software and associated documentation files (the "Software"), is governed by a MIT-style License(the "License") that can be found in the LICENSE file. You should have received a copy of the License along with this Software. If not, see

http://Viruliant.Github.io/LICENSE-1.0.txt

##Intro- Sorenson's Acoustic DUAL Piano Scheme Setup Video(NOT in Stereo) shall serve as
a layman's description of what a live Scheme interpreter/translator/compiler can look like;
It is also an Excellent Musical Piece, w/Narration of how his code generates it(you may also wish to rewind it to the begining, to hear more details).

If you want to experiment or learn about Scheme I would suggest you:
start working with examples from the 1984 SICP book linked in the runnable SICP-Template.ss file, and
download the corresponding R5RS SICP.ss compatiblity file, and
a R5RS compatible Scheme interpreter like Gambit, TinySCHEME, Impromptu, or Extempore.


#VIR·U·L·IANT ##ˈvir(y)əlyənt/

Hostly possessing courage & determination; extremely severe in its effects.


Viruliant is to provide a Subset of the [R5RS Scheme Languge](/Cite/R5RS/R5RS Specification.pdf) by either direct lambda calculus, interpreting, or translating to C99 in a similar fashion as how OOP has been added to C99 in Object-oriented design patterns in the kernel, part 1 and part 2. AntiThread, & mkconfExample.
All In the spirit of:

###Ways You Can Participate


##Agnostic Semantics

BOTH Viruliant and NTL WILL Use the following Language Agnostic Grammar, Boolean, & Set Logic Operands

α↓β α⇐β α⇒β α⇑β --- Operator --- Negation
1 0 0 0 α↓β Joint denial α⇓β Disjunction
0 1 0 0 α⇐β Converse Nonimplication α←β Converse Implication
0 0 1 0 α⇒β Nonimplication α→β Implication
0 0 0 1 α⇑β Conjuction α↑β Alternative denial
0 0 1 1 α Proposition α ¬α Negation α
0 1 0 1 β Proposition β ¬β Negation β
1 0 0 1 α↔β Biconditional α⇔β Exclusive Disjunction
1 1 1 1 Tautology Contradiction

#NTL: Numerical Translation Language

###All Translation SHALL:

  • attempt create a notation to put into comments in the generated code such that the process can be reversed.

  • Use an Earley Parser similar to Keshav. also used in the Grammar Spec the parser uses ⊤↔ ⇓

  • "The TXL paradigm consists of parsing the input text into a structure tree, transforming the tree to create a new structure tree, and unparsing the new tree to a new output text" NTL will do the same

mkconfExample

dlopen_self.c- Shows how to use dlsym to examine the running executable's properties. This lets you, e.g., look up one of your own global variables by its string name, which is pretty amazing.

dlopen_gcc.c- Shows how to write some code at runtime, compile the code into a shared library, link in the new shared library, and use its new functions.

dlopen_libc.c- Shows how to use dlopen to examine a shared libraries' symbols and functions. In this case, we look up and call the math library's "cos" routine. (Just like Linux' man dlopen).

This project MIGHT depend on the following wonderful software:


##Venn Diagrams

--- Venn Diagram ---
α↓β α⇓β
α⇐β α←β
α⇒β α→β
α⇑β α↑β
α↔β α⇔β
α ¬α
β ¬β

viruliant's Projects

abnfgen icon abnfgen

git based mirror of the project @ http://www.2p.cz/en/abnf_gen/

beta icon beta

A Lambda Calculator Based on abnfgen and Ragel

bigideas icon bigideas

it's not the language that matters, it's the big ideas

coinbin icon coinbin

Javascript Bitcoin Wallet. Supports Multisig, Stealth, HD, Time Locked Addresses and more!

efficientzero icon efficientzero

Open-source codebase for EfficientZero, from "Mastering Atari Games with Limited Data" at NeurIPS 2021.

mccarthymceval-1.5 icon mccarthymceval-1.5

The Original Meta-Circular Evaluator from Lisp 1.5 Programmer's Manual Pages 10-13

pepsi icon pepsi

Git mirror of Ian Piumarta’s idst SVN repository

pyside2-setup icon pyside2-setup

ATTENTION: This repository is no longer up to date and was moved to http://code.qt.io/cgit/pyside/pyside-setup.git/ more information https://wiki.qt.io/PySide2

showdown icon showdown

A Markdown to HTML converter written in Javascript

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.