| # Assumed that sin(x) ~ x | |
| 0.837900 | |
| 0.626022 | |
| 0.395107 | |
| 0.171615 | |
| -0.024014 | |
| -0.178162 | |
| -0.284002 | |
| -0.340814 | |
| -0.352829 |
| Please enter the following parameters: | |
| Timestep /s: 0.1 | |
| Simulation length /timesteps: 100 | |
| Pendulum length /m: 1 | |
| Pendulum mass /kg: 0.25 | |
| Gravitational acceleration /m s^-2: 9.81 | |
| Damping constant /?: 0 | |
| Initial pendulum angle /rad: 1 | |
| Initial pendulum angular velocity /rad s^-1: -0.8 |
| from sopel.module import commands, rule, rate | |
| import queue | |
| import threading | |
| import time | |
| ############################################################################### | |
| ## SECTION: chat commands ## | |
| ############################################################################### | |
| @commands('help') |
The below script is the rough skeleton of a script to draw the song title at the top left.
I attempted to translate it the language used by the Tony Hawk modding community to describe QB scripts,
but can't guarantee it's entirely correct. Further, it uses an opcode (0x4B) that wasn't available
in at least the early Tony Hawk games (though probably was in THAW and onwards); I have denoted that as
* in my scripts as it seems to be vaguely similar to C's pointer dereference.
| #!/bin/bash | |
| PS1='\[$clr\](\[$bold$green\]$git_branch\[$clr\]$git_status_short) ' | |
| PS1+='\[$bold$blue\]$pwd_short\[$clr\]\$ ' | |
| export PS1 | |
| clr=$'\e[0m' | |
| bold=$'\e[1m' | |
| green=$'\e[32m' | |
| blue=$'\e[34m' |
| # Path to your oh-my-zsh installation. | |
| export ZSH=/home/aditu/.oh-my-zsh | |
| # Configuration for Powerline theme | |
| # Hide context when in this user's context | |
| DEFAULT_USER="aditu" | |
| POWERLEVEL9K_MODE='awesome-fontconfig' | |
| POWERLEVEL9K_STATUS_VERBOSE=false |
| using System; | |
| using System.Collections.Generic; | |
| using System.IO; | |
| namespace tmp_generate_dbg_pak | |
| { | |
| class Program | |
| { | |
| // Generates a stub "dbg.pak.xen" file from a filename checksum listing | |
| // One entry per line in the listing, tab separated. Checksum (no 0x), then the path |
| module Main | |
| import Data.Vect | |
| toVect : List a -> ( n:Nat ** Vect n a ) | |
| toVect Nil = ( 0 ** Nil ) | |
| toVect (x :: xs) with (toVect xs) | |
| | (n ** ys) = ( S n ** x :: ys ) | |
| listFromString : String -> List Int |
| {-# LANGUAGE AllowAmbiguousTypes #-} | |
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE FunctionalDependencies #-} | |
| {-# LANGUAGE KindSignatures #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE PolyKinds #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} | |
| {-# LANGUAGE TypeApplications #-} |
| {-# LANGUAGE BangPatterns #-} | |
| {-# LANGUAGE NoImplicitPrelude #-} | |
| {-# LANGUAGE TypeFamilies #-} | |
| module Foundation.Interop.Text where | |
| import Foundation | |
| import Foundation.Array | |
| import Foundation.Bits | |
| import Foundation.Collection |