officialcjunior

1. Loading a workbook:

wb = load_workbook(filename = pruned_bugs_path, data_only=False)

sheet = wb['sheetname']

Apart from filename, there are some parameters such as data_only, read_only, keep_vba, data_only, keep_links.

officialcjunior

//! Virtual Device Module

use kernel::prelude::*;

use kernel::file::{File, Operations};
use kernel::io_buffer::{IoBufferReader, IoBufferWriter};
use kernel::sync::smutex::Mutex;
use kernel::sync::{Arc, ArcBorrow};
use kernel::{miscdev, Module};

officialcjunior

use std::fmt;
use std::io;

// Since, we don't have `NULL` in Rust, we will use Option for
// each of the smart pointers- `Box`es. Basically, each of the Node contains a
// Some() or a None()
struct Node {
    value: u32,
    next: Option<Box<Node>>,
}

officialcjunior

import math

invphi = (math.sqrt(5) - 1) / 2  # 1 / phi
invphi2 = (3 - math.sqrt(5)) / 2  # 1 / phi^2 ig

def gssrec(f, a, b, tol=1e-5, h=None, c=None, d=None, fc=None, fd=None):

    (a, b) = (min(a, b), max(a, b))
    if h is None: h = b - a
    if h <= tol: return (a, b)

officialcjunior

import math
def fibu(n):  
   if n <= 1:  
       return n  
   else:  
       return(fibu(n-1) + fibu(n-2))

#for i in range (10):
#    print (i-1, ",", fibu(i))

officialcjunior

#!/bin/sh

# fetches the new stuff from upstream. I hope you've added the link to the original repo as 'upstream' 
git fetch upstream 
git checkout master 

# prunes unwanted branches
git fetch --all --prune

# merges without your master

officialcjunior

How to install frama-c on *nix

I had wasted almost half of a day trying to properly install frama-c on my Linux. I was surprised to see no much documentation or troubleshooting online, so that's the whole point of me putting this note as a public gist.

Ubuntu

If you read the official documentation, you'll come across the names of these two packages:

frama-c and frama-c-base

If you are on Ubuntu 18.04 LTS, you can directly install it using apt install frama-c, and it will work. You can not do this on a 20.04 LTS Focal Fossa, because apparently, it's not included in the official packages.

officialcjunior

#0.7 for Silicon and 0.3 for Germanium diodes
vbe=0.7

vcc=
vbb=

re=
rc=
rb= #*10**3
#put rb=0, if rb isn't there. same for all

officialcjunior

# shitposter.py
# Requirements : Toot https://github.com/ihabunek/toot and a Unix-like system


import urllib.request
import random
import subprocess

word_url = "http://svnweb.freebsd.org/csrg/share/dict/words?view=co&content-type=text/plain"
response = urllib.request.urlopen(word_url)

officialcjunior

import subprocess
import os

branch_name=input("Enter the target branch name, I mean, => target-repository:")
title=input("Enter the title or the Merge Request\n")
description=input("Enter description \n")

bool_origin=input("Is this branch already added in remote? (y/n) \n")
if bool_origin=='n':
	origin = input("Input the branch name \n")